Church–Kleene ordinal
 
x
OK