Peano definió lógicamente todos los términos de estos axiomas con la excepción de 0, número, sucesor y el término singular "el" "(the)", los que eran primitivos de su sistema.