等式則とはそのような語の組のことを指し、formula_4とformula_5を含む公理をformula_6と書く。