>>430
証明したじゃん
わからないのｗｗｗｗｗｗｗｗｗｗｗｗｗ
ン？

内包公理
がなけりゃ
R:= { x | ¬(x ∈ x) }
なんて置くことすらできん。

肝心の
R ∈ R ⇔ ¬R ∈ R
が発生しない。

わからないのｗｗｗｗｗｗｗｗｗｗｗｗｗ
ン？