Esto no quiere decir sin embargo que su utilización se excluya por completo ya que en casos especiales puede ser empleado, como en el ejemplo de las proposiciones sin cuantificadores de la aritmética de Heyting.