Nuprl - Proof: RussellsParadox Frege2 1 1 1 1 1

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

1. Set : Type
2. : Set

Set

Prop
3.

P:(Set

Prop).

p:Set.

x:Set. (x p)

P(x)
4. p : Set
5. (p p)

(p p)
6.

P:Prop.

False

By:	Witness6: p p { contradicting Hyp:5 }

Generated subgoals:

None

About:

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