Recursive definitions are possible, but they must still be founded on a base level that does not reference itself. Each other level can then be defined in a way that is not self-referential.
I believe usually it is also required that the number of steps (levels) to reach the non-recursive base should always be finite (e.g. recursion via a countable set).
Recursive definitions are possible, but they must still be founded on a base level that does not reference itself. Each other level can then be defined in a way that is not self-referential.
I believe usually it is also required that the number of steps (levels) to reach the non-recursive base should always be finite (e.g. recursion via a countable set).
Indeed. I’m just asking for a little precision, e.g., valid definitions cannot just reference themselves.
Some definitions which reference themselves plus something else are also invalid. :P
I presume that’s why he said “e.g.”, not “i.e.”