Category:Named Theorems/Gentzen
Jump to navigation
Jump to search
This category contains results named for Gerhard Karl Erich Gentzen.
German mathematician and logician who made progress in symbolic logic.
Introduced one of the first systems of natural deduction.
Proved that the Peano axioms are consistent.
This category currently contains no pages or media.