■表記
x#
意味: xを使って関数x#を作る
関数適用は左結合 (w#x#y = (w#x)#y)、#も左結合 (x## = (x#)#)

定義
z = x#y
y : Tと置く
x : Ord (順序数)ならz : T (つまりx# : T -> T)
x : Ord -> Ord (順序数から順序数への関数)ならz : T -> T
x : (Ord -> Ord) -> Ord -> Ordならz : (T -> T) -> T -> T

0#y < 0#(0#y) < (0#0#)y < (0#(0#0#))y < ((0#0#)0#)y < 1#y < ω#y < (0##0)y
となるように適当な順序数を割り当てる

0#0 = 1
0#1 = 2
0#0#0 = ω

C表記と同じ強さになれたらいいな・・・