This definition of equality then automatically satisfies the axioms for equality.
这个等式定义接着自动的满足了关于等式的公理。