ただし、R上の定義可能な整列順序の存在はZFCと(相対的に)無矛盾である.
R