Takeuti-Feferman-Buchholz ordinal

\(\psi_0(\varepsilon_{\Omega_\omega + 1})\) (called "Takeuti-Feferman-Buchholz ordinal") is a large countable ordinal. It is the proof-theoretic ordinal measuring the strength of \(\Pi_1^1\)-\(\text{CA + BI}\), a subsystem of second-order arithmetic.