Por ello, como se avisó en la Introducción, lo que haremos será demostrar únicamente cinco propiedades básicas del conjunto de los números naturales, y a partir de esas cinco propiedades básicas, construir la aritmética del conjunto de números naturales.