Single Idea 13023

[catalogued under 4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / g. Axiom of Powers VI]

Full Idea

The Power Set Axiom is indispensable for a set-theoretic account of the continuum, ...and in so far as those attempts are successful, then the power-set principle gains some confirmatory support.

Gist of Idea

The Power Set Axiom is needed for, and supported by, accounts of the continuum

Source

Penelope Maddy (Believing the Axioms I [1988], §1.6)

Book Reference

-: 'Journal of Symbolic Logic' [-], p.486


A Reaction

The continuum is, of course, notoriously problematic. Have we created an extra problem in our attempts at solving the first one?