>>329
＞ツェルメロ流のままでも無限公理を使えばωは定義できます

無限公理はωの存在を保証するものであって定義を可能にするものではないでしょ
もしできるというならツェルメロ流のωは存在するって命題を書いてみてよ