---

Step * 1 of Lemma Russell-theorem


1. Type ∈ Type
2. ¬(Russell ∈ Russell)
⊢ Russell ∈ Russell
BY
{ (MemTypeCD THEN Auto) }

1
1. Type ∈ Type
2. ¬(Russell ∈ Russell)
⊢ Russell ∈ Type

---

Latex:

---

Latex:

1.  Type  \mmember{}  Type
2.  \mneg{}(Russell  \mmember{}  Russell)
\mvdash{}  Russell  \mmember{}  Russell


By

---

Latex:
(MemTypeCD  THEN  Auto)

---

Home Index