等量公理維基百科,自由的 encyclopedia 等量公理(axioms of equality)是代數中的多個公理,其建立於:「相等」具有自反性(reflexivity)、對稱性(對稱性)、傳遞性(transitivity);等量公理可用於解方程式。嚴格來說,等量公理並非真正的公理,因為它們可從更基本的公理,特別是萊布尼茨定律推導出來[1]。
等量公理(axioms of equality)是代數中的多個公理,其建立於:「相等」具有自反性(reflexivity)、對稱性(對稱性)、傳遞性(transitivity);等量公理可用於解方程式。嚴格來說,等量公理並非真正的公理,因為它們可從更基本的公理,特別是萊布尼茨定律推導出來[1]。