), es una aproximacin a las matemticas a partir de una vista mental

constructiva humana.
Todo objeto matemtico es considerado producto de la mente humana, y,
por ende, la existencia de un objeto es equivalente a la posibilidad de su
construccin. Esto contrasta con el enfoque clsico, que formula que la
existencia de un objeto puede ser demostrada comprobando su falsedad.
Para los Intuicionistas esto no es vlido; la comprobacin de la falsedad de
un objeto matemtico no significa que es posible hallar una prueba
constructiva de su existencia. Por consiguiente, el Intuicionismo es una
variedad del Constructivismo matemtico, aunque no son el mismo
concepto.
Para el Intuicionismo la validez de un enunciado matemtico es equivalente
a haber sido probado, pues, qu otro criterio (un intuicionista dira) puede
ser vlido si los objetos son meras construcciones mentales?.
Esto significa que un enunciado matemtico no tiene el mismo significado
para un Intuicionista que para un Matemtico clsico.
Por ejemplo, decir A o B, para un Intuicionista significa que A o B pueden ser
probados. En particular la Ley de Identidad, A o A negada, no es valida por
el hecho de que no se puede probar La declaracin A o su negacin (vase
Lgica Intuicionista):
El Intuicionismo tambin rechaza la abstraccin del infinito; no considera
asignarles a algn conjunto dado entidades infinitas como el campo de los
nmeros naturales, o una secuencia arbitraria de nmeros racionales.