La aritmética de Heyting no debe confundirse con el álgebra de Heyting, que es análogamente el equivalente intuicionista del álgebra de Boole.