- Etymology
- Acronym: First-Order Logic. Compound denoting the standard logical framework for axiomatization.
- First-Order
- Quantifiers range over individuals, not over predicates or functions.
- Logic
- Formal system of deduction.
- Origin
- Frege 1879. Begriffsschrift.
- Meaning
- A formal logical system with quantifiers (∀, ∃) over individuals. The standard framework for axiomatizing mathematical theories.
- Earliest use
- Frege 1879.
- Definition
- A formal logical system with quantifiers (∀, ∃) over individuals. The standard framework for axiomatizing mathematical theories (e.g., ZFC, Peano arithmetic).