back to ideas for this text


Single Idea 13024

[from 'Believing the Axioms I' by Penelope Maddy, in 4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX ]

Full Idea

Jordain made consistent and ill-starred efforts to prove the Axiom of Choice.

Gist of Idea

Efforts to prove the Axiom of Choice have failed

Source

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

Book Reference

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


A Reaction

This would appear to be the fate of most axioms. You would presumably have to use a different system from the one you are engaged with to achieve your proof.