There is no way to represent the all properties over a class by members of the class.

At: RussellsParadox Frege

  (A:Type, Q:(AAProp). P:(AProp). p:A. x:A. Q(x,p)  P(x))

1

1. A : Type 2. Q : AAProp 3. P:(AProp). p:A. x:A. Q(x,p)  P(x)   False

5 steps

About: IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html