Teorema de existencia

En matemáticas, un teorema de existencia es un teorema con un enunciado que comienza ‘existe(n)…’, o más generalmente ‘para todo x, y, …existe(n) …’. Esto es, en términos más formales de lógica simbólica, es un teorema con un enunciado involucrando el cuantificador existencial. Muchos teoremas no lo hacen explícitamente, como es usual en el lenguaje matemático estándar, por ejemplo, el enunciado de que la función seno es una continua, o cualquier teorema escrito en la notación O.