Re: Axiom of Foundation

Does your secret argument imply that R is a set, and that R belongs to
R if and only if R does not belong to R?

At this moment, my "secret argument", as you put it, does not
translate to a formal proof in ZFC. I need a predicate T(x) such that
for every epsilon sentence \phi, ZF entails T(<\phi>) <-> \phi. I am
not sure if there is such a predicate in the language of ZF.
.

Quantcast