Jabarkan Aritmetika dari Aksioma Peano

Aksioma Peano dapat ditambah dengan operasi penambahan dan perkalian dan urutan total (linear) biasa pada N. Fungsi dan relasi masing-masing dibangun dalam teori himpunan atau logika orde kedua, dan dapat ditampilkan unik menggunakan aksioma Peano.