a) Có một số nguyên không chia hết cho chính nó;
"∃ x ∈ Z, x không chia hết cho x"
b) Mọi số thực cộng với 0 đều bằng chính nó.
"∀ y ∈ R, y+0=y"
