Có số tự nhiên mà bình phương của nó bằng 20.

Có số tự nhiên mà bình phương của nó bằng 20” được viết là: “∃ x ∈ ℕ, x² = 20”. Mệnh đề này là mệnh đề sai do 202=−202=20, chỉ có hai số 20, −20 bình phương lên mới bằng 20 nhưng hai số này không phải là số tự nhiên.