According to a result of Paul Cohen in a mathematical model without the axiom of choice there exists an infinite set of real numbers without a countable subset. The proof that every infinite set has a countable subset (http://www.proofwiki.org/wiki/Infinite_Set_has_Countably_Infinite_Subset) is dependant on the axiom of choice and therefore cannot be proven in a model without the axiom of choice. Given that it cannot be proven does it imply there MUST be atleast one infinite set without a countable subset?(adsbygoogle = window.adsbygoogle || []).push({});

I realise this may seem like a stupid questions because it seems intuitive that if something can't be proven then there must be a counter example but I have learnt to be skeptical about any naievely intuitive conclusions so I was hopping somebody could just clarify.

**Physics Forums - The Fusion of Science and Community**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# A countable subset of an infinite set and the axiom of choice.

Loading...

Similar Threads - countable subset infinite | Date |
---|---|

I Definition of second-countable | Mar 3, 2018 |

I General topology: Countability and separation axioms | May 16, 2016 |

Approximating simple function in $L_1$ with countable base | Nov 8, 2014 |

Is the space of tempered distributions 1st countable ? | Feb 15, 2014 |

Open subset of R written as a countable union of pairwise disjoint open intervals? | Oct 18, 2012 |

**Physics Forums - The Fusion of Science and Community**