>>167
>それを外から見たときに必ずω1個と言えるかなあ
>ω0個の場合は無いのかな？
メタ視点で見たときは、どの超自然数についても自分未満の自然数全体の濃度はモデルの濃度にしか見えない。
だからやはり
>それ以下の正の超自然数がω1個あるというもののつもり(>>114)
はω1なる超自然数の定義になってない。体系内・体系外どっちもダメ。
そもそもPAの超準モデルを超積で構成した場合、要となる超フィルタが非構成的だから標準自然数みたいな訳にはいかんでしょ。