Coba jelasin Penambahan bilangan dari Penambahan dong

Untuk membuktikan sifat-sifat penambahan, penambahan harus didefinisikan pada suatu konteks terlebih dahulu. Penambahan awalnya didefinisikan untuk bilangan asli. Dalam teori himpunan, operasi penambahan lalu diperluas untuk himpunan bilangan lain yang mengandung bilangan asli, yaitu bilangan bulat, bilangan rasional, dan bilangan real.