7-202 はwikipediaに載ってたψの拡張法って書いてあるけど違うの？
今のwikipediaもψ1 とかの記述があって、その1を順序数に拡張したのかと思った。

添え字無しのψだと、
古いwikipediaのψ(α)は
{0,1,ω,Ω,+,φ,ψ} で到達できない最小の順序数 (ただしψにはα未満のみ入れられる)
新しいwikipediaのψ(α)は
{0,1,ω,Ω,+,^,ψ} で到達できない最小の順序数 (ただしψにはα未満のみ入れられる)
で、やっぱり古い方が大きいと思う。