TFB全稱Takeuti－Feferman－Buchholz ordinal，是一個(gè)十分龐大的序數(shù)，用BOCF表示為ψ(ψ?ω(0))。它是二階邏輯中∏1?－CA?－BI系統(tǒng)的算術(shù)極限，同時(shí)也是以下序數(shù)的極限： ψ(Ω?ω)，ψ(Ω?ω^Ω?ω)，ψ(Ω?ω^Ω?ω^Ω?ω)…… 它還是SCG函數(shù)的增長(zhǎng)率上界。