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