>>147
(引用開始)
>n ∈ On が自然数であるとは，n は 0 または後続順序数で n のすべての要素も後続順序数であること，とできるからである．』の通りで
え？？？？？？？？
君、1={0}を否定するの？　0の前者は存在しない、すなわち0はいかなる順序数の後続順序数でもないことを知らないの？
(引用終り)

ふっふ、ほっほ
　>>143 より再録
「ゲーデルと20世紀の論理学第４巻」（東京大学出版会，2007）の，渕野 昌の執筆した第I部 https://fuchino.ddo.jp/books/intro-to-set-theory-and-constructibility.pdf
　より『P48
　順序数 α が極限順序数でないとき，後続順序数であるという．
　極限順序数の概念を使って自然数の全体の集合 N を定義することができ
　る： n ∈ On が自然数であるとは，n は 0 または後続順序数で n のすべて
　の要素も後続順序数であること，とできるからである．』

ここで、渕野先生
『n ∈ On が自然数であるとは，n は 0 または後続順序数で n のすべての要素も後続順序数であること，とできる』
　この解釈は
　↓
”n は 0 または (0以外の)後続順序数で (0以外の)n のすべての要素も後続順序数であること”
の略記じゃね？
まあ、”0は例外扱い”は常識（＝デフォルト）ですがなｗｗ

きみ、その指摘を 渕野先生にお手紙書いてねｗ
そして、その返事をここにアップしてくれたまえｗｗ　；ｐ）