关于*形式系统的语义性概念。形式系统中一个有n个变元的公式在某个模型中有效是指：用这个模型的论域中任意一组n个元素解释公式中的变元，都使公式在这个模型中的解释为真。一个公式有效，是指它在任何一个模型中都有效。后一种有效性也称为普遍有效性。