>>104
>自分で引用したOnが何かも答えられなかったゴキブリが何か言っとる

ふっふ、ほっほ
引用ねw
おれは、基本 文字選択→コピーコマンド→貼付けコマンド なので
ハンドタイプの”引用”はしないんだ

”Onが何か”?か (^^
 >>72「ゲーデルと20世紀の論理学第4巻」(東京大学出版会,2007)の,渕野 昌の執筆した第I部 https://fuchino.ddo.jp/books/intro-to-set-theory-and-constructibility.pdf
を見ると P44 2.3 順序数 順序数 (ordinals) のクラス On を導入する.次の性質を On が持つことがポイントとなる.
と記されているよ
百回音読してねw ;p)

>>106-110
>いや、自然数が存在しないから構成しようとしてるのに、自然数0, 1, 2, . . .の存在を前提にしたら循環論法って教えてあげたのに言葉が通じないの?

ふっふ、ほっほ
上記 渕野のPDF冒頭
”2009 年の後期以降に神戸大学で大学院の講義でテキストとして用いた際に見つけた typos などの訂正などの update が書きこまれている”
とある。そもそも 東京大学出版会,2007 成書となるときに、十分な校正がされているはず
そのうえ、”2009 年の後期以降に神戸大学で大学院の講義でテキストとして用いた”とあるので、
君の指摘は、たぶん 誤解・無理解・上滑り じゃないの?
疑問があったら 渕野先生にお手紙書いてね
おっと、その前に 渕野テキストを百回音読してね
きみの ご指摘の点は、きっと 君の勘違いだよ ;p)