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

new

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