Combining Texts

Ideas for 'Axiomatic Theories of Truth (2005 ver)', 'Probabilistic Causality' and 'An Axiomatization of Set Theory'

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

display all the ideas for this combination of texts

---

2 ideas

4. Formal Logic / F. Set Theory ST / 1. Set Theory

15657	To prove the consistency of set theory, we must go beyond set theory [Halbach]
	Full Idea: The consistency of set theory cannot be established without assumptions transcending set theory.
	From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 2.1)

4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / f. Limitation of Size

15943	Limitation of Size is not self-evident, and seems too strong [Lavine on Neumann]
	Full Idea: Von Neumann's Limitation of Size axiom is not self-evident, and he himself admitted that it seemed too strong.
	From: comment on John von Neumann (An Axiomatization of Set Theory [1925]) by Shaughan Lavine - Understanding the Infinite VII.1