User blog comment:P進大好きbot/Examples of Rules of Large Number Contests/@comment-24061664-20180605024857

Just remove the space at the beginning of the equation.

\begin{eqnarray*} A \vdash (\forall M, \forall E,((M,E) \models A) \to (\exists ! n \in \omega^{(M,E)}, F)))), \end{eqnarray*}