[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 60 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
165(1): 2021/10/13(水)11:46 ID:1dTgAsTd(15/38) AAS
>>164
>「{}の可算多重」の否定に、固執すんの？
それ誤解
１．「{}の可算多重」は通常の解釈では
そもそも集合でないアトムになるか、正則性公理に反する
２．後者の場合、正則性公理を否定して別の公理を入れて
集合とみとめてもそもそも順序数ωと異なったものになる
３．集合論の中で、順序数ωを構成するだけなら、
「{}の可算多重」でない形で実現できる
要点は３
省1
173(2): 2021/10/13(水)12:04 ID:q1aEYon0(5/10) AAS
>>165-166
ありがと
おサルさんとは、別人みたいだね
> １．「{}の可算多重」は通常の解釈では
> そもそも集合でないアトムになるか、正則性公理に反する
”集合でないアトムになるか、集合ならば正則性公理に反する”という意見ね
別それでも良いよ。なお、おれの意見は、>>167ね
> ３．集合論の中で、順序数ωを構成するだけなら、
> 「{}の可算多重」でない形で実現できる
最初から認めているよ、そこは
省6
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.263s*