[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 63 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
698(2): 2022/01/03(月)16:05 ID:fVRIjb9K(5/7) AAS
>>657
>そんな考えなら、どうやれば、実数R全体が二項関係>に関して全順序になるって示せるんだ？
>（整列可能定理も知らないのかもな）
Rは通常の大小関係>で整列集合ではありません。
実際、{x∈R|x>0}は>に関する最小元を持ちません。
整列可能定理で>無限列を正当化することはできません。
あなたは全順序も整列可能定理も分かってません。
700: (帝国中央都市) 2022/01/03(月)16:06 AAS
>>698
そもそも雑談君は、整列順序が分かってないから
定義すら確認しない直感🐎🦌に数学は無理
710(4): 2022/01/03(月)18:06 ID:M7Pqf1pT(9/13) AAS
>>698
>Rは通常の大小関係>で整列集合ではありません。
>実際、{x∈R|x>0}は>に関する最小元を持ちません。
>整列可能定理で>無限列を正当化することはできません。
何を主張しているか、意味不明だな
あんた、自分が賢いつもりだろうが、カントール以来100年以上の数学の議論を踏まえないで、
こんな場末の5ｃｈの数日の議論で、何か数学の新しい議論しているつもりかい？
もっと謙虚に、基礎文献を読み込んだらどうかｗ
１．”整列可能定理で(通常の)>無限列を正当化することはできません”は正しいが、
下記の通り、”V=L は ZFC と(相対的に)無矛盾であり、ZFC+V=L ではある特定の論理式が R（実際には任意の集合）を整列順序付けることが従う”（整列集合wikipedia）
省14
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.295s*