大学学部レベル質問スレ 27単位目

訂正します：

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

>>266-267

ありがとうございます。

>>268
>>269-270

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

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

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

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

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

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

>>271

ありがとうございます。