19/03/19 01:42:21.60 cs26O+sG.net
多相型の強さを知るために、多相型を使って順序数をつくる
0, f_0, +を用意する
ただし、f_0、+は多相であり、何を入力してもいい。
・f_0(χ) = χ´
・f_α+f_β=f_(α+β)
f_0(α) = ω^α
f_0(f_0) = f_1
f_1(α) = φ(1,α)
f_1+f_1 = f_2
f_η(α) = φ(η,α)
f_0(f_1) = f_ω
f_0(f_1+f_1) = f_{ω^2}
f_0(f_ω) = f_{ω^ω}
f_1(f_0) = f_ε_0
f_α(f_0) = f_φ(α,0)
fの限界はf_Г_0、つまりこの表記の限界はφ(Г_0,0) = Г_0