Gentzen's consistency proof is a result of proof theory in mathematical logic. It "reduces" the consistency of a simplified part of mathematics, not to something that could be proved (which would contradict the basic results of Kurt Gödel), but to clarified logical principles.
Read more about Gentzen's Consistency Proof: Gentzen's Theorem, Relation To Gödel's Theorem
Famous quotes containing the words consistency and/or proof:
“The lawyer’s truth is not Truth, but consistency or a consistent expediency.”
—Henry David Thoreau (1817–1862)
“The insatiable thirst for everything which lies beyond, and which life reveals, is the most living proof of our immortality.”
—Charles Baudelaire (1821–1867)