绝对性

在数学逻辑中，如果在某些类型的结构（也称为模型）中具有相同的真值，则公式被认为是绝对的。关于绝对性的定理通常建立公式的绝对性及其句法形式之间的关系。有两种较弱的部分绝对形式。如果结构M的每个子结构N中的公式的真实性来自于M中的真值，公式是向下绝对的。如果一个结构N中的一个公式的真实性意味着每个结构M的延伸N的真值，则该公式是向上绝对的。