If the program $e$ enumerates $e$ (and only $e$, say), do you consider $x_e$ to be undefined, or do you allow this to represent a set such that $x=\{x\}$ depending on if there is one (such as under some kind of antifoundation) axiom? Or are you assuming foundation making this question moot?
↧