公理1 (三一律, trichotomy axiom): 則a, b 只可能有下面關係之一種: a > b, a < b 或 a = b。 公理2 (遞移律, transitive axiom): 若a > b 且b > c, 則a > c。
確定！ 回上一頁
