axiom of predicate calculus

英 美
  • 谓词演算公理
  • axiom n.公理;格言;自明之理
  • calculus n.微积分;算法;结石
  • of prep.关于;...的(表所属);出身于;由于
  • predicate n.[语]谓语;述语v.断定;意味;宣称;基于adj.谓语的