【计】 谓词演算

同时，从各方面来说，一阶谓词演算都不是足够好。

所以对于一个复杂对象，任何看起来需要一阶谓词演算才能描述的东西，实际都可以在编程语言范畴内实现十分精细地表述。

这就是一个一阶谓词演算不可表述的属性。

predicate

predicate

first-order predicate calculus

predicate logic

class of semi-computable predicate【数】

one-place predicate calculus【数】

first order predicate calculus

first-order predicate logic