0099現代数学の系譜 雑談 ◆e.a0E5TtKE
2019/12/28(土) 00:45:12.06ID:25QO+/o4グロタンディーク宇宙 U が出来上がってしまえば
その中で、極限は定義できる
それだけのこと
もちろん、それは、Zermelo構成の論文が1900年初期の論文で意図した、無限集合の構成とは流れが逆だ
しかしいま、問題にしていることは、ある何かの後者関数の極限 lim n→∞ suc(n) が存在すれば、それは正則性公理に反するのかどうかということ
Zermeloの意図の無限集合の構成に拘らずに、純粋に”極限 lim n→∞ suc(n) が存在すれば、それは正則性公理に反するのかどうか”だけが問題なのです
Zermeloの意図の無限集合の構成に拘れば
まだ、極限は定義されていないとなるが
それは
いま問題にしていることとは無関係