Constructivisme (mathématiques)
Le constructivisme est un courant des mathématiques. Il consiste en l'idée que l'on ne peut considérer que ce que l'on peut construire de façon effective et explicite.
En particulier, les membres de ce courant, les constructivistes, refusent l'axiome du choix, car ce dernier fournit énormément de résultats, certes, (et c'est la raison pour laquelle la plupart des mathématiciens l'utilisent), mais il fournit l'existence d'objets qui ont de bonnes propriétés, sans les donner explicitement.