This question takes place in (or ) without any Choice, so one cannot assert that a countable union of countable sets is countable. Essentially, the question is something ...

A weak form of countability without Choice – mathoverflow.net
Gro-Tsen

This question takes place in ZF (or ZFA) without any Choice, so one cannot assert that a countable union of countable sets is countable. Essentially, the question is something ...