>>409-410
・極限は、ツェルメロとノイマンで、違って良い
・正則性公理は、無限上昇列を禁止しない
・すなわち、無限上昇列の任意の位置から、逆に降下する無限列は、禁止されていない
　禁止されているのは、底抜けの無限降下列（つまり、最小元のない無限降下列）だよ(゜ロ゜;
・超限順序数を使って、超限回繰り返しを、定義する
　ノイマンのωは、後者関数を、超限回繰り返して生成したと解することができる
　同様に、ツェルメロのωは、後者関数を超限回繰り返して生成したと解することができる
QED(゜ロ゜;