Mathematical logic (i.e., symbolic logic) uses symbols to represent relationships between the elements of an argument and uses rules to draw inferences about those elements. The main branches of mathematical logic are set theory, model theory, recursion (computability) theory, and proof theory.