Also, first-order predicate calculus isn't good enough anyway.

Also, first-order predicate calculus isn't good enough anyway.

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