北田均著「ゲーデル不完全性定理への道」
p.154
　　Feferman によれば
　　ω_1 < ω＾(ω＾(ω＾2))
　　である。

とある。
ω_1 は Church-Kleene の順序数とあり、non-recursive ordinal の最小
という意識はある。右辺は ε_0　より小さいので、話にもならないが、この
順序数の表記を全く理解せず、もちろん Feferman の論文の滅茶滅茶な誤解
と自身の妄想を膨らませた、トンデモ本の典型。本当にこの人、東大で基礎論
の授業してるの？