En lógica matemática, se denomina aritmética de Heyting a la axiomatización de la aritmética siguiendo los lineamientos de la escuela intuicionista.