算術と巨大基数は関係ある?何というか、順序数に使われるけど