gottfried Messages 118 Reaction score 0 Thread starter Mar 27, 2013 #1 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?
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?
micromass Staff Emeritus Science Advisor Homework Helper Insights Author Messages 22,170 Reaction score 3,335 Mar 27, 2013 #2 Proved from which axioms? It cannot be proven in ZF. It can be proven in ZFC (obviously).