[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）20 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
628(1): 06/18(水)12:06 ID:Qh/3AgjL(3/7) AAS
>>625
>ところが、そもそも”無限集合”の概念が確立されていない
>（”旅の途中”では 無限集合族などを無造作に使うべきではない）
今度は無限公理を否定する気かい？
>対して、>>571 Extracting the natural numbers from the infinite set 外部ﾘﾝｸ:en.wikipedia.org
>や、>>569 筑波大 坪井明人 PDF P9 が やっていることは
>無限公理で保証されたNを含む無限集合の部分集合として
省15
629(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 06/18(水)17:02 ID:1ZjEJMOG(2/4) AAS
>>626-628
素人が、グダグダ言い訳している
さて
１）なぜ無限公理が必要なのか？
その答えが 下記 渕野”Dedekind の数学の基礎付けと集合論の公理化”
P173-174 "3 無限の存在証明"に記されている通り
「無限の存在が集合論の他の公理から独立である」ってこと
省29
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s