> you can get most of math with Axiom of Countable Choice Wait, I think you just made me realise that my intuition for AoC is wrong and actually matches AoCC i

> you can get most of math with Axiom of Countable Choice Wait, I think you just made me realise that my intuition for AoC is wrong and actually matches AoCC instead, and that I'd never stopped to consider that the collection of sets you're choosing from could be uncountable. If that's correct, that explains so much.