Step
*
1
1
1
of Lemma
Russell-paradox
1. 𝕌' ⊆r Type
⊢ Russell ∈ Type
BY
{ (SubsumeC ⌜𝕌'⌝⋅ THEN Auto) }
Latex:
Latex:
1. \mBbbU{}' \msubseteq{}r Type
\mvdash{} Russell \mmember{} Type
By
Latex:
(SubsumeC \mkleeneopen{}\mBbbU{}'\mkleeneclose{}\mcdot{} THEN Auto)
Home
Index