义：只有可经由有限次地应用上述规则来得到的表示式才是项。举例来说，不存在包含断言符号的项。
公式.公式（或称合式公式）可依如下规则递归地定义：只有可经由有限次地应用上述规则来得到的表示式才是公式。由头两个规则得到的公式称为原子公式。举例来说，是公式，若"f"是1元函数符号，"P"是1元断言符号，且"Q"是3元断言符号。另一方面，formula_41则不是公式，虽然这也是由词汇表中的符号组成的字串。定义中的括号，其用途是为了确保任何公式都只能依递归定义以单一种方法得到（