Viết mệnh đề sau bằng kí hiệu $\forall$ hoặc $\exists$: “Có một số nguyên bằng bình phương của chính nó”

(AI giải đề cho tôi)
Mệnh đề “Có một số nguyên bằng bình phương của chính nó” nghĩa là tồn tại một số nguyên $x$ sao cho $x=x^2$, viết dưới dạng $\exists x\in \mathbb{Z},x=x^2$. Các phương án A, B dùng tập $\mathbb{R}$ (không phải số nguyên), phương án C dùng $\forall$ (sai vì không phải mọi số nguyên đều bằng bình phương của nó, ví dụ $x=1$ đúng nhưng $x=2$ sai). Vậy đáp án đúng là D.