>>468
Church-Kleene の順序数 ω_1CK には同値な定義がいくつもあって、
「算術の述語を用いてω上に定義することができない最小の整列順序」というのも
そうした定義の中の一つ。
この定義だとそれは自明なのだけど、貴方の意図している定義は？