Can the axiom of countable choice be proved?

  • Context: Graduate 
  • Thread starter Thread starter gottfried
  • Start date Start date
  • Tags Tags
    Axiom Choice
Click For Summary
SUMMARY

The axiom of countable choice cannot be proven within Zermelo-Fraenkel set theory (ZF) but can be established in Zermelo-Fraenkel set theory with the Axiom of Choice (ZFC). This distinction is critical for understanding the foundational aspects of set theory. The proof relies on the acceptance of the Axiom of Choice, which is a fundamental component of ZFC.

PREREQUISITES
  • Understanding of Zermelo-Fraenkel set theory (ZF)
  • Familiarity with the Axiom of Choice
  • Basic knowledge of set theory and its axioms
  • Concept of countable sets in mathematics
NEXT STEPS
  • Research the implications of the Axiom of Choice in ZFC
  • Study the differences between ZF and ZFC
  • Explore proofs related to the Axiom of Countable Choice
  • Investigate other axioms in set theory and their relationships
USEFUL FOR

Mathematicians, logicians, and students of set theory who are interested in the foundations of mathematics and the implications of different axiomatic systems.

gottfried
Messages
118
Reaction score
0
Does anybody know if the axiom of countable choice can be proved? And if it can where I can find a copy of the proof?
 
Physics news on Phys.org
Proved from which axioms?

It cannot be proven in ZF. It can be proven in ZFC (obviously).
 

Similar threads

Undergrad Is an algorithm for a proof required to halt?
  • · Replies 3 ·
Replies
3
Views
2K
Graduate First order logic and set theory: who comes first?
  • · Replies 2 ·
Replies
2
Views
3K
Graduate Second-order arithmetic
  • · Replies 34 ·
2
Replies
34
Views
4K
Undergrad Axiom of Choice: Choosing Identical Objects
  • · Replies 7 ·
Replies
7
Views
2K
Undergrad This fact on 2-dimensional space blows my mind
  • · Replies 17 ·
Replies
17
Views
3K
Undergrad Deductive proof in logic formal systems
  • · Replies 4 ·
Replies
4
Views
1K
Undergrad Countability of binary Strings
  • · Replies 18 ·
Replies
18
Views
4K
Graduate Axiom of choice: Replacing a strong condition with a weaker condition
  • · Replies 6 ·
Replies
6
Views
3K
High School Is everything in math either an axiom or a theorem?
  • · Replies 73 ·
3
Replies
73
Views
9K
Graduate About the “Axiom of Dependent Choice”
  • · Replies 2 ·
Replies
2
Views
2K