21. In particular, the grammar of Lojban is carefully engineered to express such predicate logic in an unambiguous manner. 22. Could another cosmos have different values for pi and e, different arithmetic, different theorems in predicate logic ? 23. In many formulations of first-order predicate logic , the existence of at least one object is always guaranteed. 24. Type theory extends this identification to predicate logic by introducing dependent types, that is, types that contain values. 25. Tableaux are extended to first order predicate logic by two rules for dealing with universal and existential quantifiers, respectively. 26. The call returns a Prolog list, which can then be processed by the agent's own predicate logic . 27. It is a consistent extension of predicate logic and allows the unrestricted use of class terms ( such as Peano ). 28. In predicate logic , a "'universal quantification "'is a type of value of a predicate variable. 29. The definition of " tautology " can be extended to sentences in predicate logic , which may contain model ). 30. From this viewpoint, mathematical objects are entities satisfying the axioms of a formal theory expressed in the language of predicate logic .
