A continuación se presentan los axiomas de Peano de manera formal, contemplando ambas posibilidades: