English Takeuti-Feferman-Buchholz ordinal Cited by user Binary198 on 10 Aug 2021 In the mathematical fields of set theory and proof theory, the Takeuti–Feferman–Buchholz ordinal (TFBO) is a large countable ordinal, which acts as the limit of the…