相等性公理

equality axioms