Category:Definitions/Named Definitions/Gentzen
Jump to navigation
Jump to search
This category contains definitions 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.
Pages in category "Definitions/Named Definitions/Gentzen"
The following 2 pages are in this category, out of 2 total.