---

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