Combining Texts

Ideas for 'fragments/reports', 'Intro to Gdel's Theorems' and 'Animal Rights and Wrongs'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

1 idea

5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic

10616	Second-order arithmetic can prove new sentences of first-order [Smith,P]
	Full Idea: Going second-order in arithmetic enables us to prove new first-order arithmetical sentences that we couldn't prove before.
	From: Peter Smith (Intro to Gödel's Theorems [2007], 23.4)
	A reaction: The wages of Satan, perhaps. We can prove things about objects by proving things about their properties and sets and functions. Smith says this fact goes all the way up the hierarchy.