>>357
巨大基数は、算術に対してというよりもZFCに対して使われる