theorem :: CARD_2:100

for X, Y being set st X is countable & Y is countable holds
X \+\ Y is countable