Single Idea 13024

[catalogued under 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.