[過去ログ]
集合論について (615レス)
上
下
前
次
1-
新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
227
: 2014/04/10(木) 19:30:17.10
AA×
[240|
320
|
480
|
600
|
100%
|
JPG
|
べ
|
レス栞
|
レス消
]
227: [] 2014/04/10(木) 19:30:17.10 > ZF + not ACのモデルの存在は直感的に明らかということでOK? そのつもり。+ ACも + not ACもどちらも直感的に矛盾しそうにない。 > というか分出公理は置換公理から出て来るとか 分出公理と置換公理は、むしろ直感的に等価だと感じる方に属する。 http://rio2016.5ch.net/test/read.cgi/math/1384715117/227
のモデルの存在は直感的に明らかということで? そのつもり も もどちらも直感的に矛盾しそうにない というか分出公理は置換公理から出て来るとか 分出公理と置換公理はむしろ直感的に等価だと感じる方に属する
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 388 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
ぬこの手
ぬこTOP
0.015s