Como una variedad del constructivismo matemático, el intuicionismo es esencialmente una filosofía de los fundamentos de las matemáticas.