Category:Definitions/Proof Theory
Jump to navigation
Jump to search
This category contains definitions related to Proof Theory.
Related results can be found in Category:Proof Theory.
Proof theory is the subfield of mathematical logic which studies proofs as mathematical objects, thus allowing them to be analysed mathematically.
Pages in category "Definitions/Proof Theory"
The following 5 pages are in this category, out of 5 total.