一阶谓词逻辑表示法关于概念的某些理解