Bachmann–Howard ordinal

ID: bachmann-howard-ordinal

New to topics? Read the docs here!