La aritmética de Heyting adopta los axiomas de Peano, pero utiliza las reglas de inferencia de la lógica intuicionista.