how to express does not exist by quantifiers Hi guys I have a problem with logic, look at this phrase:
"aucun entier n'est supérieur a tous les entiers" (No integer is superior to all integers)
I need to write it on mathematical form.

$$\nexists n\in\mathbb{Z}: \forall m\in\mathbb{Z}, m<n$$
or
$$\forall n\in\mathbb{Z}: \exists m\in\mathbb{Z}, n<m$$
