Teorema d'existència

En matemàtiques, una teorema d'existència és una teorema en un enunciat que comença 'existix(n)...', o més generalment 'per a tot x, i, ...existix(n) ...'. Açò és, en térmens més formals de llògica simbòlica, és una teorema en un enunciat involucrant el quantificador existencial. Moltes teoremes no ho fan explícitament qualsevol teorema escrita en la notació O.

Una controvèrsia que data del primerenc XX concernix el tema de teoremes d'existència purs, i l'acusació relacionada de que en admetre'ls les matemàtiques traïcionen les seues responsabilitats d'aplicació concreta (vore demostració no constructiva). El punt de vista matemàtic és que els métodos abstractes tenen un gran alcanç, major que el del anàlisis numèric.