more on this theme     |     more from this thinker

---

Single Idea 9915

[filed under theme 4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / o. Axiom of Constructibility V = L ]

Full Idea

V = L just says all sets are constructible. L is the class of all constructible sets, and V is the universe of all sets.

Gist of Idea

V = L just says all sets are constructible

Source

Hilary Putnam (Models and Reality [1977], p.425)

Book Ref

'Philosophy of Mathematics: readings (2nd)', ed/tr. Benacerraf/Putnam [CUP 1983], p.425

---

The 4 ideas from 'Models and Reality'

13655

The Löwenheim-Skolem theorems show that whether all sets are constructible is indeterminate [Putnam, by Shapiro]

9913	The Löwenheim-Skolem Theorem is close to an antinomy in philosophy of language [Putnam]

9914	It is unfashionable, but most mathematical intuitions come from nature [Putnam]

9915	V = L just says all sets are constructible [Putnam]