What is the system of fundamental sequences for Takeuti-Feferman-Buchholz ordinal?

I want to use it in one of my functions.