The inverse of this axiom results from the substitution property of equality. If the underlying logic does not include equality "=", x = y can be defined as ...
確定! 回上一頁