封闭表达式（或封闭公式）是指没有自由变量[1]的公式。这也称为句子。

在逻辑系统中，您有一组公理，它们是句子，以及说明如何从这个[2]中派生句子的规则。如果一个句子可以从公理推导出来，这意味着该公理蕴涵这个句子。如果一个句子是不可推导的，它就不是被公理所蕴涵的。