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.

If $\nexists$ wont do you can also use $\neg\exists$ instead:
$$\nexists n\in\mathbb N:\forall m\in\mathbb N: m<n$$
or
$$\neg\exists n\in\mathbb N:\forall m\in\mathbb N: m<n$$
Or one could equivalently use De Morgan rule:
$$\forall n\in\mathbb N:\exists m\in\mathbb N: m\ge n$$
even though it's not formulated differently.
