This is not expressible as a first-order predicate calculus property.

This is not expressible as a first-order predicate calculus property.

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