等量公理 等量公理axioms of equality是代數中的多個公理其建立于相等具有自反性reflexivity对称性对称性传递性transitivity等量公理可用於解方程式严格来说等量公理并非真正的公理因为它们可从更基本的公理特别是莱布尼茨定律推导出来