一阶纯谓词演算

• pure predicate calculus of first order