対角線論法っておかしくね? (144レス)
前次1-
抽出解除 レス栞

86: 02/01(土)10:43:42.05 ID:rMrnSNJC(1/2) AAS
対角線論法の集合版をみてみると、それはラッセルのパラドックスである。
X∉X
これを自己射を持たないと考えるなら、自己同一性を持たず、対象にはならないということになる。
X∈Xであることは、対象/存在として必須である。
ZFに必要なのは自己同一性の公理だろう。
そうすることで選択公理も自然に含まれることになると思う。
パラドックスや矛盾は、自己同一性の問題なのではないだろうか?
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.013s