>>265
それを証明しなければなりません。

>>266-267

ありがとうございます。

>>268
>>269-270

∀x (x < x でない) ことを証明しなければなりません。

x < x と仮定して矛盾を導く。

仮定より、 x ∈ x でない。

A := {x : x ∈ x でない} とおく。

∅ ∈ ∅ でないから、 ∅ ∈ A である。
x ∈ A とする。
x ∈ x でない。

x' = x ∪ {x} ∈ x ∪ {x} と仮定して矛盾を導く。

x ∈ x でないから x ∪ {x} ≠ x
よって、 x ∪ {x} ∈ x である。

どうやって矛盾を導きますか？

>>271

ありがとうございます。