>>847
横レスすまん

>ωが構成的に作れてしまうなら、そもそも無限公理なんて要らない
>彼はそんてことにも思いが至らないんでしょうね

一面では正しいか
一面では間違っている

１）カントールは無限公理は使わずに彼の極限集合論を作ったよ
２）リーマンは、無限公理を使わずに、リーマン球面に無限大の点（無限遠点）を導入した
３）コーシーは、無限公理を使わずに、コーシー列を定義した
(゜ロ゜;