Topic summary
First-order predicate logic
Extracted from the Wikipedia article First-order logic.
Formalizing natural languages
Still, there are complicated features of natural language that cannot be expressed in first-order logic. "Any logical system which is appropriate as an instrument for the analysis of natural language needs a much richer structure than first-order predicate logic".