命題
U を宇宙とする。
U ∈ U ではない。

証明
U ∈ U とすると>>312より |U| ＜ |U| となり矛盾である。
証明終