Step
*
1
1
1
of Lemma
cantor-theorem-on-power-set-prop
1. v : ℙ
2. (¬v) 
⇒ v
3. (¬v) 
⇐ v
⊢ False
BY
{ (D -2 THEN Auto)⋅ }
Latex:
Latex:
1.  v  :  \mBbbP{}
2.  (\mneg{}v)  {}\mRightarrow{}  v
3.  (\mneg{}v)  \mLeftarrow{}{}  v
\mvdash{}  False
By
Latex:
(D  -2  THEN  Auto)\mcdot{}
Home
Index