La phrase est compliquée.
Prenons un entier x (par exemple x=1000, mais ça pourrait être n'importe quel autre).
La phrase nous dit qu'on peut trouver un entier y (lequel, on va voir plus tard),
Et avec le y en question, on va pouvoir affirmer : Pour tout entier z, x<y implique z<x+1.
Effectivement, si on choisit y inférieur à x, ou même y égal à x, alors dans ce cas : pour tout entier z, x<y implique z<x+1
x<y n'étant pas vérifiée, l'implication en question est vérifiée.
La phrase initiale est donc exacte.
Elle est particulièrement tordue, mais exacte.