What is Mathematical logic?
'''Mathematical logic''' is a field of [[mathematics]] that tries to formalize [[logic]] so that it can be used for mathematics more easily. Logic is about reasoning, and mathematical logic shows this with [[symbol]]s. Most of mathematical logic was developed in the 19th and 20th century. This field can be said to have four main sub-fields: #[[set theory]] #the study of [[mathematical proof|mathematical proofs]] #the study of [[recursion]], and #[[model theory]] == Related pages == *[[Analytic philosophy]] *[[Philosophy of mathematics]] *[[Propositional logic]] {{Areas of mathematics}} {{Mathematical logic}} [[Category:Mathematics]] {{math-stub}}