Nuprl - LogicSupplement LEMMAs for RussellsParadox

IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html

Theorem	Name
Thm* (Set:Type, :(SetSetProp). Thm* (P:(SetProp). p:Set. x:Set. (x p) P(x))	[RussellsParadox_Frege2]
cites the following:
Thm* (P P)	[no_prop_iff_its_neg]

IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html