(consistency)兩個性質,我們稱這群敘述為這個系統的公設(axioms)。 ... (由Axiom 1、Axiom 2)、Theorem 2 存在三點不在相同的線上(依Axiom 4 存在一條線L,.
確定! 回上一頁