数学基礎論・数理論理学 その19 (606ﾚｽ)
数学基礎論・数理論理学 その19 http://rio2016.5ch.net/test/read.cgi/math/1696599483/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
569: １３２人目の素数さん [] 2025/09/26(金) 19:20:18.57 ID:jwGIJR6a ZFC公理系の無限公理により存在が許される無限集合から自然数集合を分出するにはどうしたらいいか解説してください Gemini(pro 2.5)に聞いても循環論法の域を出ないような解説しかしてくれません 最小の機能的集合には余計な元が含まれないことを示すため「0から有限回繰り返しても到達できない元」を考えるって言うんだけど、"有限回" ってこんなの自然数集合を既知として使ってるも同じでしょう? 指摘すると「なるほど確かに鋭い指摘です」と返事だけはいいんだけど結局は同じ話を繰り返されます http://rio2016.5ch.net/test/read.cgi/math/1696599483/569
572: １３２人目の素数さん [] 2025/09/26(金) 20:18:34.57 ID:jwGIJR6a >>570 そう、そうやって作った最小の帰納的集合には我々が普通に考えられる自然数しか含まれていない事を示してほしいんですよ つまり0から始めて次の次の...と有限回で達しない元は含まれていないと でも "有限回" って時点で 自然数集合の存在が前提じゃないですか? その辺りGeminiにツッコみ入れても「これは直感的な表現なので...」と逃げて終わりです http://rio2016.5ch.net/test/read.cgi/math/1696599483/572
574: １３２人目の素数さん [] 2025/09/26(金) 22:38:22.19 ID:jwGIJR6a >>573 全ての帰納的集合の交叉から作った最小の帰納的集合を "自然数集合" と定義する、別にそれでもいいです でもそれだけだと0から有限回で辿りつける元(我々がよく知ってるつもりの自然数)しか含まない保証はないわけです ちゃんと証明しようにも「0から有限回で辿りつける元しか含まない集合」の存在が前提になってしまう(ように見える)のが気になっています http://rio2016.5ch.net/test/read.cgi/math/1696599483/574
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.022s