Bachmann–Howard ordinal

GPTKB entity