La filosofía fundamental del intuicionismo o constructivismo, como se ejemplifica en extremo por Brouwer y más coherente de Stephen Kleene, requiere pruebas para ser " constructivo" en naturaleza - la existencia de un objeto debe ser demostrada en lugar de deducirse de una demostración de la imposibilidad de su no-existencia.