Ответ:

\(\exists x\in\mathbb{N}\;(7\mid x)\).