Jabarkan Bilangan asli dari Penambahan

Ada dua cara populer untuk mendefinisikan jumlah dari dua bilangan asli a dan b. Jika bilangan asli didefinisikan sebagai kardinalitas dari himpunan hingga, (kardinalitas suatu himpunan adalah banyak unsur dalam himpunan tersebut), maka jumlah dua bilangan asli bisa didefinisikan sebagai berikut:

Misalkan N(S) adalah lambang untuk kardinalitas himpunan S. Misalkan terdapat dua himpunan saling lepas A dan B, dengan  dan . Maka  didefinisikan sebagai .

Di sini,  adalah gabungan dari A dan B. Versi alternatif dari definisi ini memungkinkan A dan B bertindih dan kemudian mengambil satuan disjoin, mekanisme yang memungkinkan unsur-unsur umum untuk dipisahkan dan karena itu dihitung dua kali.

Definisi populer lainnya bersifat rekursif:

Misalkan n+ adalah lambang untuk penerus dari n, yaitu bilangan setelah n dalam himpunan bilangan asli, jadi 0+=1, 1+=2. Definisikan . Definisikan jumlah secara umum menggunakan rekursi . Jadi misalnya  .

Sekali lagi, variasi kecil pada definisi ini dalam literatur. Secara harfiah, definisi di atas adalah aplikasi dari teorema rekursi pada himpunan terurut parsial N2. Di sisi lain, beberapa sumber lebih sering menggunakan teorema rekursi hingga yang hanya berlaku untuk himpunan bilangan asli. Salah satu a untuk sementara "diperbaiki", menerapkan rekursi pada b untuk mendefinisikan fungsi "a +", dan menempelkan operasi uner ini untuk semua a dengan membentuk operasi biner penuh.

Perumusan penambahan rekursif ini telah dikembangkan oleh Dedekind pada tahun 1854, dan dia kemudian mengembangkannya selama dekade-dekade berikutnya. Dia membuktikan sifat asosiatif dan komutatifnya menggunakan induksi matematika.