Esto requiere la reconstrucción de los fundamentos de la Teoría de Conjuntos y el Cálculo como la Teoría Constructivista de Conjuntos y el Análisis Constructivo respectivamente.