Así, conseguiremos establecer la Aritmética de los distintos conjuntos numéricos demostrando cada una de sus propiedades a partir de los únicos conceptos (formales) de conjunto, pertenencia y elemento.