等量公理

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

 描述 
三數，若得，則：





反之，若：




其中一者成立，則。

（在等號兩邊同除以一個數【不為零】等式依然成立 ）

 移项法則 
移项法則為等量公理的應用，常用於計算中。





 例題 
求未知數，並使用到等量公理：






 参考 

 參見 
 相等
 初等數學
 初等代數

Category:公理
Category:初等數學
Category:初等代數
Category:數學關係
Category:算術