Neumannの順序数で「自分より小さい全ての順序数の集合」とするところを
Zermeloの順序数で「自分より小さい順序数の最大元」としている
（シングルトンという見た目だけにこだわるのは幼稚な三歳児だけ）

「自分より小さい順序数の最大元」が存在しない場合には
それに代わる方法をとるしかない　要は、
「自分より小さい順序数の集合で、
　自分より小さいいかなる順序数ｘも、
　その中に必ずある要素ｙ（ｘ）が存在し
　ｙ（ｘ）＞ｘとなるようにできるもの」
であればいい

注）ｙ（ｘ）と書いたのは、
　　ｘに依存せず決まる定数ではなく
　　ｘに依存して決まる関数であるから