Kumeler teorisi acisindan $0$ boskume olarak dusunulebilir. Ama carpmaya gore yutan eleman tam olarak boskume olmasindan dolayi degil, bizim carpmayi $0$ yutan eleman olacak sekilde tanimlamamizdan.
$0$'i boskume olarak tanimlayalim. Ardil (successor) fonksiyonu da soyle tanimlayamilim
$S(0) = 0\cup \{0\} =\{0\}$ ve $\{0\}$ sayisini da $1$ olarak tanimlayalim ve
$S(a)=a\cup\{a\}$ olarak tanimlayalim.
$N$ bu $S$ fonksyionu altinda kapali en kucuk kume olsun. Simdi $N$ uzerine toplama ve carpmayi soyle tanimlayabiliriz: Herhnagi $a, b\in N$ icin
$a+0=a$
$a+S(b) = S(a+b)$
ve
$a\cdot 0 = 0$
$a\cdot S(b)= a+(a\cdot b)$.
Doalyisiyla $0$'in yutan eleman olmasi daha ziyade carpma islemi oyle tanimladigindan dolayi.