En mathématiques, il est possible de démontrer quedes objets existent sans jamais les exhiber. On parlealors de preuves non constructives. Cela pose sous unangle nouveau la question de l'existence en mathématique: suffit-il de définir un concept pour lui donnervie, ou doit-on explicitement le construire ?
