（1）之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。（2）谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。（3）本文以关系知识模型为基础，用谓词演算和关