【计】 一阶谓词演算

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

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

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

linear first-order differential equation【数】

first-order language

first-order derivative

first-order difference equation

first-order asymmetric transformation

first-order dispersive filter

first-order predicate logic

first-order denticle