Predicate logic of higher order

• 高阶谓词逻辑

Predicate logic of higher order的用法和样例：

例句

1. This is not expressible as a first-order predicate calculus property.
   这就是一个一阶谓词演算不可表述的属性。