>772
サンクスです。

無限を嫌う人が多いので無限公理を外した公理系も整備されているかと思ったのですが、
そうではないようですね。