Bachmann–Howard ordinal
 
x
OK