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