+**Mathematical Logic** is a field that explores the foundations of [Mathematics](/wiki/mathematics) using formal systems. It investigates the nature of [Proof](/wiki/proof), truth, and inference, providing a rigorous framework for reasoning.
+## See also
+- [Logic](/wiki/logic)
+- [Set Theory](/wiki/set_theory)
+- [Model Theory](/wiki/model_theory)
... 1 more lines