display all the ideas for this combination of texts
1 idea
13701 | A single second-order sentence validates all of arithmetic - but this can't be proved axiomatically [Sider] |
Full Idea: A single second-order sentence has second-order semantic consequences which are all and only the truths of arithmetic, but this is cold comfort because of incompleteness; no axiomatic system draws out the consequences of this axiom. | |
From: Theodore Sider (Logic for Philosophy [2010], 5.4.3) |