∃ x ∈ Z : x^2 = x

Mệnh đề "∃ x ∈ : x²=x" phát biểu như sau:

"Tồn tại số nguyên x sao cho x bình phương bằng x"

Hoặc "Tồn tại số nguyên mà bình phương của nó bằng chính nó"

Mệnh đề này đúng vì 0 ∈ Z; 02 = 0

1 ∈ Z, 12=1

Tồn tại số nguyên mà bình phương của nó bằng chính nó.

Mệnh đề này đúng vì 0 ∈ Z; 0² = 0, 1² = 1.

Tồn tại số x thuộc tập số nguyên sao cho x bình phương bằng x

Mệnh đề này đúng vì 0 ∈ Z; 0² = 0