Talk:Takeuti–Feferman–Buchholz ordinal