La lógica intuicionista es una de las maneras de abordad el Constructivismo en matemáticas.