[YG Conlang Archives] > [jboske group] > messages [Date Index] [Thread Index] >
Jordan DeLong scripsit:
> > That's Cantor's paradox: the set of all sets must contain its power set
> > as a member, which is impossible. The whole point of Quine abstraction
> > is that it's eliminable *without* reifying over sets.
>
> I dunno what 'eliminable' means.
You can rewrite all talk of Quine abstraction in terms of pure quantified
logic without introducing any sets that are the values of variables.
So the pseudo-set x^ = {x | x is even} is just Ax: x is even.
--
John Cowan jcowan@hidden.email http://www.ccil.org/~cowan
Is it not written, "That which is written, is written"?