# Definition:Proof Theory

Jump to navigation
Jump to search

## Definition

**Proof theory** is the subfield of mathematical logic which studies proofs as mathematical objects, thus allowing them to be analysed mathematically.

## Also see

- Results about
**proof theory**can be found here.