Nuprl - Proof: RussellsParadox Frege2 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: RussellsParadox Frege2 1

1. Set : Type
2. : Set

Set

Prop
3.

P:(Set

Prop).

p:Set.

x:Set. (x p)

P(x)

False

By:	Inst: Hyp:3 Using:[P(x):= (x x)] THEN Reduce Hyp:3

Generated subgoal:

1 4. p:Set. x:Set. (x p) (x x)
False
4 steps

About:

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