>>75
Onは順序数全体のクラス
>N = {n ∈ On : n は自然数 }
で言うところの自然数の定義は「n∈Onが自然数であるとは，nは0または後続順序数でnのすべての要素も後続順序数であること」。要するに順序数全体から極限順序数と極限順序数を要素に持つ順序数を除外した残りが自然数ってこと。

引用するなら意味が通るように引用しろよバカ。引用すらまともにできないんじゃAIに完敗じゃねーかｗ

ちなみに
×「nのすべての要素も後続順序数であること」
〇「nのすべての要素も0または後続順序数であること」
だな。実際1={0}のどの要素も後続順序数でない。淵野先生間違えてて草。