Takeuti-Feferman-Buchholz Ordinal
   HOME
*