Mathématiques Constructives

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.