Mathematical Logic - First-order logic, Set theory, Model theory, Recursion theory, Proof theory, Foundations of mathematics, Philosophy of mathematics, Formalism (mathematics), History of logic, Constructivism (mathematics), Definable set, On Undecidable Propositions of Principia Mathematica& Related Systems, Löwenheim Skolem theorem, Gödel's incompleteness theorems