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$. Do đó viết bằng kí hiệu là $\exists x\in \mathbb{Z},x=x^2$. Phương án A dùng tập $\mathbb{R}$ và viết $x^2-x=0$ (đúng về nghiệm nhưng không đúng yêu cầu “số nguyên”); phương án C dùng $\mathbb{R}$; phương án D dùng $\forall$ (mọi số nguyên đều bằng bình phương của nó — sai). Vậy đáp án là B, trùng với đáp án của đề (mã đề 1002, câu 4: B).