\begin{definition}[Definition:Existential Statement/Conditional]
A '''conditionally existential statement''' is an existential statement which states the existence of an object fulfilling a certain propositional function dependent upon the existence of certain other objects.
\end{definition}