##  [Mathématiques Constructives](/fr/node/61350) 

  ##  [Mathématiques Constructives](https://mathlogic.quantumdictionary.io/fr/node/61351) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Définition

Un ensemble d'approches mathématiques qui exigent des constructions explicites ou des algorithmes pour témoigner les assertions d'existence et qui rejettent en général des principes non constructifs comme la loi du tiers exclu non restreinte ; les preuves doivent fournir un contenu computationnel.