---

Step * of Lemma Russell-property

¬(Russell ∈ Russell)
BY
{ D 0 }

1
1. Russell ∈ Russell@i'
⊢ False

2
.....wf..... 
Russell ∈ Russell ∈ 𝕌'

---

Latex:

---

Latex:
\mneg{}(Russell  \mmember{}  Russell)


By

---

Latex:
D  0

---

Home Index