Combining Texts

Ideas for 'Thinking About Logic', 'Statistical Explanation' and 'fragments/reports'

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 / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems

10988	Any first-order theory of sets is inadequate [Read]
	Full Idea: Any first-order theory of sets is inadequate because of the Löwenheim-Skolem-Tarski property, and the consequent Skolem paradox.
	From: Stephen Read (Thinking About Logic [1995], Ch.2)
	A reaction: The limitation is in giving an account of infinities.