Brouwer, en un artículo titulado "La falta de confiabilidad de los principios de la lógica", desafió la creencia de que las reglas de la lógica clásica, que han llegado hasta nosotros esencialmente a través de Aristóteles (384 a -322 aC), son conjuntos validez absoluta, independiente de la materia a la cual se aplican" (Kleene (1952), p.