Coba jelasin Define dari Penambahan dong

Definisi ini pertama kali diterbitkan oleh Georg Cantor, juga pada tahun 1872, meskipun formalismenya sedikit berbeda.

Apabila membuktikan bahwa operasi ini terdefinisi dengan baik, berurusan dengan urutan ko-Cauchy. Setelah tugas itu selesai, semua sifat-sifat penjumlahan riil segera mengikuti sifat-sifat bilangan rasional. Selanjutnya, operasi aritmetika lainnya, termasuk perkalian, memiliki definisi analog yang langsung.