Gentzen's consistency proof

Gentzen's consistency proof is a result of proof theory in mathematical logic, published by Gerhard Gentzen in 1936. It shows that the Peano axioms of first-order arithmetic do not contain a contradiction (i.e.

Source: Wikipedia — Gentzen's consistency proof (CC BY-SA 4.0)

Gentzen's consistency proof

Gentzen's consistency proof is a result of proof theory in mathematical logic, published by Gerhard Gentzen in 1936. It shows that the Peano axioms of first-order arithmetic do not contain a contradiction (i.e.

This neuron ends here.

Source: Wikipedia "Gentzen's consistency proof" · CC BY-SA 4.0

Share this article: X · Bluesky
Privacy Policy