Single Idea 10067

[catalogued under 6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic]

Full Idea

Gentzen proved the consistency of arithmetic from assumptions which transcend arithmetic.

Gist of Idea

Gentzen proved the consistency of arithmetic from assumptions beyond arithmetic

Source

report of Gerhard Gentzen (works [1938]) by Alan Musgrave - Logicism Revisited §5

Book Reference

-: 'British Soc for the Philosophy of Science' [-], p.126


A Reaction

This does not contradict Gödel's famous result, but reinforces it. The interesting question is what assumptions Gentzen felt he had to make.