Il est possible d’utiliser un raisonnement par l’absurde pour prouver l’existence abstraite d’objets mathématiques. Soit \,p la proposition affirmant l’existence d’un tel objet. Le raisonnement par l’absurde consiste à supposer que cet objet n’existe pas et en déduire une contradiction. On conclut alors à l’existence du dit objet sans l’exhiber . Ce type de raisonnement est rejeté en logique intuitionniste car il ne donne en aucune façon une construction effective du dit objet.