>>127
(引用開始)
ID:gZ1LykHx
>>111
>上記 渕野のPDF冒頭
>”2009 年の後期以降に神戸大学で大学院の講義でテキストとして用いた際に見つけた typos などの訂正などの update が書きこまれている”
>とある。そもそも 東京大学出版会，2007 成書となるときに、十分な校正がされているはず
>そのうえ、”2009 年の後期以降に神戸大学で大学院の講義でテキストとして用いた”とあるので、
>君の指摘は、たぶん 誤解・無理解・上滑り じゃないの？
反例：
>「n∈Onが自然数であるとは，nは0または後続順序数でnのすべての要素も後続順序数であること」
は間違い。実際、0以外の任意の自然数は後続順序数ではない要素0を持つ。
(引用終り)

それ、下記だね
　>>72「ゲーデルと20世紀の論理学第４巻」（東京大学出版会，2007）の，渕野 昌の執筆した第I部 https://fuchino.ddo.jp/books/intro-to-set-theory-and-constructibility.pdf

ここに、目次
第 2 章 公理的集合論の展開 .... 29
2.1 整列順序 ... 30
で
(引用開始)
Ｐ44
2.3 順序数
順序数 (ordinals) のクラス On を導入する．次の性質を On が持つこと
がポイントとなる．
(2.13) On は真のクラスで，推移的で14)，∈ に関し整列順序となってい
る15)．
(2.14) 各順序数 α は，（推移的な）集合で，（∈ により）整列されている．
(2.15) 任意の整列順序集合 ⟨X, <⟩ は，一意に決まる順序数 ⟨α, ∈⟩ と順序
同型となる．
これらの性質，特に最後の (2.15) により，順序数の全体のクラスは，すべて
の整列順序集合のクラスの（順序同型に関する同値類の）自然な代表元を集
めたクラスとみなせる．

P48
順序数 α が極限順序数でないとき，後続順序数であるという．
極限順序数の概念を使って自然数の全体の集合 N を定義することができ
る： n ∈ On が自然数であるとは，n は 0 または後続順序数で n のすべて
の要素も後続順序数であること，とできるからである．
補題 2.22 (1) 自然数の要素は自然数である．
(2) 集合 X を ∅ ∈ X ですべての y ∈ X に対し y ∪ {y} ∈ X となるよ
うなものとすると，X はすべての自然数を含む．

補題 2.22, (2) でのような X は無限公理により存在するから，分出公理により，
N = {n ∈ On : n は自然数 }
は集合になる．また，補題 2.22, (2) により，p.10 で導入した 0, 1, 2,. . . は N
の最初の方の要素になっていることがわかる．
(引用終り)

さて、上記”反例：
>「n∈Onが自然数であるとは，nは0または後続順序数でnのすべての要素も後続順序数であること」
は間違い。実際、0以外の任意の自然数は後続順序数ではない要素0を持つ。”

において
0以外の任意の自然数n（n≠0）の後続順序数はn+1であって、上記 y ∪ {y} の記号を借用すると
n+1：＝n ∪ {n} と略記できるよね
そして、n（n≠0）の前後続順序数は n-1であって、
n：＝n-1 ∪ {n-1} と略記できる
なので
『実際、0以外の任意の自然数は後続順序数ではない要素0を持つ』は、イミフ 言葉のサラダだね