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) ...'.