eine Aussage, in der die Existenz eines oder mehrerer (mathematischer) Objekte behauptet wird.

Eine formalisierte Existenzaussage hat die Gestalt \begin{eqnarray}\exists {x}_{1}\cdots \exists {x}_{n}\varphi ({x}_{1},\ldots, {x}_{n})\end{eqnarray}

wobei ∃ der Existenzquantor und ϕ(x₁,…, x_n) ein Ausdruck mit den freien Variablen x₁,…, x_n ist.

Variieren beispielsweise die Variablen x, y, z über den natürlichen Zahlen, und ist n eine fixierte natürliche Zahl, die größer als 2 ist, dann behauptet die Existenzaussage \begin{eqnarray}\exists x\exists y\exists z(x\ne 0\wedge y\ne 0\wedge z\ne 0\wedge {x}^{n}+{y}^{n}={z}^{n}),\end{eqnarray}

daß die diophantische Gleichung xⁿ + yⁿ = zⁿ eine nichttriviale Lösung besitzt.