---

Step * 1 2 of Lemma Russell-paradox

.....set predicate..... 
1. 𝕌' ⊆r Type
⊢ ¬(Russell ∈ Russell)
BY
{ BLemma `Russell-property` }

---

Latex:

---

Latex:
.....set  predicate..... 
1.  \mBbbU{}'  \msubseteq{}r  Type
\mvdash{}  \mneg{}(Russell  \mmember{}  Russell)


By

---

Latex:
BLemma  `Russell-property`

---

Home Index