17/08/27 09:10:33.21 iIK8Y/8u.net
>>13 補足
「無限公理」の話は、１年前の過去スレ23辺りから何度も繰り返している話だよ（下記ご参照）
過去スレ23
ｽﾚﾘﾝｸ(math板:174番)
174現代数学の系譜11 ガロア理論を読む2016/09/23(金) 23:42:40.64ID:GIjvvAs5
以前にも紹介したが、渕野昌先生の下記でも読んでたもれ
URLﾘﾝｸ(fuchino.ddo.jp)
（元のこちらはリンク切れ URLﾘﾝｸ(math.cs.kitami-it.ac.jp) ）
数学と無限? 無限のパラドックス 2007 年7 月11 日 渕野昌
(抜粋)
「無限」を扱かう数学は大きな成功を収めている．その一方で，
有限のアナロジー（類推）で無限を考えてゆくと，ひどく奇妙な
現象があらわれることがある．それらが何を意味しているのかに
ついて考察する．
ｽﾚﾘﾝｸ(math板:215番)
215現代数学の系譜11 ガロア理論を読む2016/09/24(土) 12:49:52.40ID:3dsOB3y4
>>205
おっちゃん、どうも。スレ主です
理論展開「順」の話であれば、ZFCで、まず空集合があって、空集合の集合から{0}が定義され、１が定義される。１の後者として２が定義され、ｎが定義される。任意のｎに後者がある。繰り返すことと無限公理により、自然数全体の集合、つまり加算無限集合が構成される
”繰り返す”ことと”無限公理”の部分が、数学的には極限、つまり「lim n→∞」ってことじゃないのか？
つまりは、極限操作があって、自然数全体の集合が構成できるわけだよ。その後有理数が構成され、実数が構成される
よって、時枝問題を考えるときも、「箱が可算無限個ある」>>190と言われたら、その瞬間に最初に極限操作が浮かぶべし。ZFCをベースにする限りは
最初に、極限操作と加算無限集合ありきと思うがね
>>120で言いたいことはそういうこと
極限操作と加算無限集合ありきは、ごくごく初期だよ。ZFCによる数学構築の