+A **formal system** is a theoretical construct for manipulating symbols based on defined rules, often exploring logic and mathematical truths. It consists of an alphabet of symbols, a grammar for forming well-formed formulas, and a set of [Axioms](/wiki/axioms) and [Inference Rules](/wiki/inference_rules) to derive theorems.
+## See also
+- [Logic](/wiki/logic)
+- [Mathematics](/wiki/mathematics)
+- [Proof Theory](/wiki/proof_theory)
... 1 more lines