家没有接受这种术语，而是称之为带有自由变量的"方程式"或"不等式"等。这种替代也叫做对句子的"解"。"恒等式"是所有数都是解的开放句子。开放句子的例子包括：所有开放句子都必须（通常暗含的）有描述那些数可被当作解的"论域"。例如，你可以考虑所有实数或只是整数。例如，在例子2中，1.6是一个解，如果论域是所有实数，如果论域只是整数则不是。在这种情况下，只有大于3/2的整数是解：2, 3, 4等等。在另一方面，如果论域由所有复数构成，则例子2甚至没有意义（尽管其他例子有）。恒等式只要求对在它的论域中的