On Dec 27, 3:34 pm, "INFINITY POWER" <infin...@limited.com> wrote:
> 4 EXIST(s):[Set(s) & ALL(a):[aes <=> aeu & ~aea]] > Subset, 2 > > Line 4 states that there exists a subset of u that consists of those and > only those elements of u that are not elements of themselves -- the > so-called Russell Set.
No proof has been given in ZFC of
ExAy yex
that would then justify using a constant symbol or variable 'u' to stand for an x such that Ay yex.
So the Russell set is not proven to exist in the manner you claim.
