什么是TFB?

TFB全称Takeuti－Feferman－Buchholz ordinal，是一个十分庞大的序数，用BOCF表示为ψ(ψ₋ω(0))。它是二阶逻辑中∏¹₁－CA₀－BI系统的算术极限，同时也是以下序数的极限： ψ(Ω₋ω)，ψ(Ω₋ω^Ω₋ω)，ψ(Ω₋ω^Ω₋ω^Ω₋ω)…… 它还是SCG函数的增长率上界。