back to ideas for this text

---

Single Idea 13647

[from 'Foundations without Foundationalism' by Stewart Shapiro, in 4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX ]

Full Idea

The axiom of choice is essential for proving the downward Löwenheim-Skolem Theorem.

Gist of Idea

Choice is essential for proving downward Löwenheim-Skolem

Source

Stewart Shapiro (Foundations without Foundationalism [1991], 4.1)

Book Reference

Shapiro,Stewart: 'Foundations without Foundationalism' [OUP 1991], p.80

---