[過去ログ]
現代数学の系譜 カントル 超限集合論2 (1002レス)
上
下
前
次
1-
新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
262
: 2020/01/03(金)11:38
ID:glmNLmg1(4/11)
AA×
>>253
>>1
,
2
[
240
|320|
480
|
600
|
100%
|
JPG
|
べ
|
レス栞
|
レス消
]
262: [] 2020/01/03(金) 11:38:52.85 ID:glmNLmg1 >>253 >今問題になっているのは >1,2,‥の上極限としてどのような集合をあてがうべきなのか その通り >今は、あなたの主張である >Zermelo流ではωにあてがわれる集合Ωとしては >Ω自身も、その元も、そのまた元も、‥ >どこまで行ってもsingletonしか現れないものがあてがわれる。 >その存在を認めてもZFCの公理となんら矛盾しない。 >が問題になっているのだから。 その通り まずΩがsingletonだというだけで 極限順序数であることと矛盾する Ωの唯一つの要素がΩの前者になってしまうから Ωの前者、さらにその前者・・・と遡れると 当然正則性公理と矛盾するが、すでに 前者が存在するだけで矛盾する 要するにΩが存在するとしても その要素は唯一ではない さらにいえば有限個でもない なぜなら要素中の最大値が存在すれば それがΩの前者になってしまうから http://rio2016.5ch.net/test/read.cgi/math/1576852086/262
今問題になっているのは の上極限としてどのような集合をあてがうべきなのか その通り 今はあなたの主張である 流ではにあてがわれる集合としては 自身もその元もそのまた元も どこまで行ってもしか現れないものがあてがわれる その存在を認めてもの公理となんら矛盾しない が問題になっているのだから その通り まずがだというだけで 極限順序数であることと矛盾する の唯一つの要素がの前者になってしまうから の前者さらにその前者と遡れると 当然正則性公理と矛盾するがすでに 前者が存在するだけで矛盾する 要するにが存在するとしても その要素は唯一ではない さらにいえば有限個でもない なぜなら要素中の最大値が存在すれば それがの前者になってしまうから
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 740 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
ぬこの手
ぬこTOP
0.051s