The branch of formal logic, also called functional calculus, that deals with representing the logical connections between statements as well as the statements themselves.

Gödel's first incompleteness theorem | Gödel's second incompleteness theorem | logic | predicate | propositional calculus