Feferman-Schütte ordinal