[mymoomin]

You have a typo in [1]. It should read "A countable union of (finite or) countable sets is countable."

[mananaysiempre]

I do, thanks :)