都会有单一个符号），除非允许有无限多符号，且有许多开始符号，如项中的变数。
项.项可依如下规则递归地定义：只有可经由有限次地应用上述规则来得到的表示式才是项。举例来说，不存在包含断言符号的项。
公式.公式（或称合式公式）可依如下规则递归地定义：只有可经由有限次地应用上述规则来得到的表示式才是公式。由头两个规则得到的公式称为原子公式。举例来说，是公式，若"f"是1元函数符号，"P"是1元断言符号，且"Q"是3元断言符号。另一方面，formula_4