他的二元关系。如此，若等式符号包含在标识之中，则通常需要增加几个有关等式的公理至公理系统之中（例如，替换公理叙述，若"a" = "b" 且"R"("a") 成立，则"R"("b") 也会成立）。这个方法通常用在研究那些不包括等式关系的标识时最为有效，如集合论和二阶算术的标识，在二阶算术中只存在数字的等式关系，但没有数字集合间的等式关系。第二种方法是将等式视为一个逻辑常数，必须在所有解释下解释为实在的等式关系。如此解释等式的解释称之为正规模型，所以第二种方法和只研究为正规模型的解释是同样的意思。此一方法的