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 symbols. 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 proofs
the study of recursion, and
model theory

 Related pages 
Analytic philosophy
Philosophy of mathematics
Propositional logic

Category:Mathematics