>>205
おっちゃん、どうも。スレ主です
理論展開「順」の話であれば、ZFCで、まず空集合があって、空集合の集合から{0}が定義され、１が定義される。１の後者として２が定義され、ｎが定義される。任意のｎに後者がある。繰り返すことと無限公理により、自然数全体の集合、つまり加算無限集合が構成される

”繰り返す”ことと”無限公理”の部分が、数学的には極限、つまり「lim n→∞」ってことじゃないのか？
つまりは、極限操作があって、自然数全体の集合が構成できるわけだよ。その後有理数が構成され、実数が構成される

よって、時枝問題を考えるときも、「箱が可算無限個ある」>>190と言われたら、その瞬間に最初に極限操作が浮かぶべし。ZFCをベースにする限りは
最初に、極限操作と加算無限集合ありきと思うがね

>>120で言いたいことはそういうこと
極限操作と加算無限集合ありきは、ごくごく初期だよ。ZFCによる数学構築の