Contraste a la lógica de segundo orden y de orden superior, la lógica intuicionista de primer orden representa una restricción de la versión clásica, destinada a modelar un tipo de razonamiento más “c...Contraste a la lógica de segundo orden y de orden superior, la lógica intuicionista de primer orden representa una restricción de la versión clásica, destinada a modelar un tipo de razonamiento más “constructivo”.