开放句子

数学家没有接受这种术语，而是称之为带有自由变量的方程式或不等式等。

这种替代也叫做对句子的解。恒等式是所有数都是解的开放句子。