Proof Writing · Medium problem

There is no integer $n$ such that $n^2 \ne 2$.

For every integer $n$, $n^2 = 2$.

There is a integer $n$ such that $n^2 \ne 2$.

For every integer $n$, $n^2 \ne 2$.