看书啦

】的谓词为一阶谓词，作用于一阶谓词的谓词为二阶谓词，作用于二阶谓词的谓词为三阶谓词，……如此类推，想要多少阶谓词有多少阶。 n阶谓词对应n阶逻辑，一阶逻辑仅量化范围广泛的变量，二阶逻辑量化集合，三阶谓词量化集合的集合，……如此类推。 n阶谓词构成n阶逻辑，n阶逻辑构成n阶命题，我们将“谓词”称之为【一阶定义要素】，“逻辑”称之为【二阶定义要素】“命题”称之为【三阶定义要素】，……如此类推，想要多少阶单元有多少阶。 同时，我们以“n”为标准，提出【低阶】、【高阶】、【超阶】、……等等等等概念，想要多少阶有多少阶。 所谓低阶，即阶数＜n；所谓高阶，即阶数＞n，例如假设n＝4，则凡是低于四阶谓词的都是低阶谓词，凡是高于四阶谓词的都是高阶谓词。...