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