Let's take the expression "the largest positive integer". Assuming existence, we get that $n^2\leq n$, but we also have $n^2\geq n$, so $n^2=n$, i.e. $n=1$. Proving existence seems to be harder: can you prove false statements in ZFC (or prove that you can't, for that matter)?