[過去ﾛｸﾞ] なぜ、ZFC公理まで遡らなくても数学が出来るの？ (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
27(1): 2024/11/14(木)11:37 ID:V0VFtZLN(1/3) AAS
>>1
なぜ、ZFC公理まで遡らなくても数学が出来るの？
>公理まで遡ってすべての定義・命題を厳密に記述・証明しなければ、正しいとは言えないはず
>もし、公理まで遡る途中の定義・命題を認めても問題なく数学が出来るなら、それを公理とすればいいのでは？
私見だが
結論だけ書いておくと
Q.もし、公理まで遡る途中の定義・命題を認めても問題なく数学が出来るなら、それを公理とすればいいのでは？
省12
29(1): 2024/11/14(木)13:21 ID:V0VFtZLN(2/3) AAS
>>28
知る限りないですがｗ
全ての数学を知っているわけではないのでｗｗ
いま、問題になっている望月IUTは、ひょっとして 独自公理かもしれんｗｗｗ
32(1): 2024/11/14(木)13:41 ID:V0VFtZLN(3/3) AAS
>>27 追加
日本語の情報が少ないが
重要ポイントで、ur-element ＝ 原始要素 を許容するか否かが論点としてある
純ZFCは、ur-element を許容しない（下記）
しかし、日本の学部で１年次に教える集合論は、だいたいが ur-element を許容しているはず
これで、ZFCの位置づけが 理解できる
即ち、ur-element （＝ 原始要素）を許容しないと メンドクサイし
省12
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 2.035s*