2.谓词宇宙。

谓词，即用来代替或者展示其客体性质、特征或者客体之间关系的词项。

谓词的特征：

谓词常项——

表示某个确定判定的谓词称为谓词常项。

谓词变项——

尚未确定的谓词称为谓词变项。

n元谓词——

在一个命题中，若有n个客体名称与谓词相联系，则称该谓词为n元谓词。

谓词逻辑——

谓词逻辑是形式逻辑中最基础、最根本的逻辑，也是最基本的逻辑系统或理论。

命题逻辑是谓词逻辑的子系统。

只包含个体谓词和个体量词的谓词逻辑称为一阶谓词逻辑，简称一阶逻辑，又称狭义谓词逻辑。此外，还包含高阶量词和高阶谓词的称为高阶逻辑。

h谓词公式——

由原子公式、联结词和量词构成的公式被称之为“h谓词公式”。

（原子公式：没有子公式的公式，原子公式是由“谓词”为核心，衔接量词、个体词组成。）

n阶谓词宇宙——

以一个n阶谓词系统为核心所形成宇宙。n阶谓词宇宙没有最高阶，只有更高阶、更高高阶、……，无休止无止境。

以下是部分谓词宇宙的定义（所有的谓词宇宙均存在“谓词系统”和“无限谓词系统”两大类不同版本的谓词宇宙，无限谓词系统严格大于且凌驾谓词系统）：