Viết mệnh đề sau, sử dụ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$, tức là $\exists x\in \mathbb{Z},x=x^2$. Phương án A, B dùng tập $\mathbb{R}$ (không phải số nguyên) nên sai; phương án C dùng $\forall$ (mọi số nguyên) nên sai. Đáp án đúng là D, khớp với bảng đáp án mã đề 1001 (câu 5: D).