Intuicionismo

Luego, la prueba conocida por reducción al absurdo se vería con sospecha.Por consiguiente, el intuicionismo es una variedad del constructivismo matemático, aunque no son el mismo concepto.Para el intuicionismo la validez de un enunciado matemático es equivalente a haber sido probado, pues ¿qué otro criterio (diría un intuicionista) puede ser válido si los objetos son meras construcciones mentales?El intuicionismo también rechaza la abstracción del infinito; no considera asignarle a algún conjunto dado entidades infinitas, como el campo de los números naturales, o a una secuencia arbitraria de números racionales.Estas teorías propondrían encontrar fundamentos sólo en el pensamiento humano, y no en cualquier construcción externa objetiva.