Démonstration constructive
| Image manquante Math.png | Cet article est une ébauche concernant les mathématiques, vous pouvez partager vos connaissances en le modifiant. |
Une démonstration constructive est une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne font pas appel à l'infini ni au principe du tiers exclu. Ainsi on ne démontre pas l'existence d'un objet en montrant l'impossibilité de son inexistence mais en en exhibant un.