+First Order Logic (FOL) is a foundational formal system using [Predicates](/wiki/predicates) and [Quantifiers](/wiki/quantifiers) to express complex relationships and statements about objects within a domain. It forms a powerful language for mathematical reasoning and the study of [Truth](/wiki/truth), extending beyond simple propositions.
+## See also
+- [Logic](/wiki/logic)
+- [Propositional Logic](/wiki/propositional_logic)
+- [Formal Systems](/wiki/formal_systems)
... 1 more lines