En efecto, dado que "=" es el único símbolo de predicado en la aritmética de Heyting, se desprende que, para cualquier proposición p sin cuantificadores