Feferman-Schutte ordinal