Consisは無矛盾性の公理ですか？順序数にどう対応させるんだろう。