Bachmann-Howard ordinal って何すか?
だれか説明してけろ