Jabarkan Kesamaan; Pertidaksamaan; Kesetaraan logis dari Garis besar matematika

Aritmetika orde-kedua merupakan sebuah kumpulan sistem aksiomatik yang merumuskan bilangan bulat dan himpunan bagiannya.

Aksioma Peano juga dikenal sebagai aksioma Dedekind–Peano atau postulat Peano, merupakan aksioma untuk bilangna bulat yang dipresentasikan oleh matematikawan Italia Giuseppe Peano pada abad ke-19.