$A$ ve $B$'nin ayrik oldugunu dusunerek baslayalim:
$A$'dan $\mathbb{N}$'ye giden bir $f$ eslemesi var.
$B$'den $\mathbb{N}$'ye giden bir $g$ eslemesi var.
$h: A \cup B \to \mathbb{N}$ fonksiyonunu
$$h(x) = \begin{cases} 2f(x) \quad \text{eger }x\in A \text{ ise} \\ ?? \quad \quad \text{ eger } x \in B \text{ ise} \end{cases}$$ olarak tanimla (?? kismini sen doldur). Bu tanimi yaptiktan sonra $h$'nin birebir ve orten oldugunu gostermek zor degil.
(Hilbert Hoteli'ni duyduysan, yukarida soyledigim Hilbert Hoteli problemlerinden bir tanesi.)
Eger $A$ ve $B$ ayrik degiller ise $A\setminus B, B\setminus A$ ve $A \cap B$ kumeleri ayrik kumelerdir ve sayilabilirlerdir (Burada sayilabilir bir kumenin altkumesinin de sayilabilir oldugunu kullanmak zorundayiz sanirim.). Ustelik $A \cup B = (A\setminus B) \cup (B\setminus A) \cup (A \cap B)$'dir. Yani, soruyu daha once bildigimiz durumlara indirgemis olduk.