Citation :
Je ne comprends pas pourquoi mettez vous de l'implication, pouvez vous expliquez la logique
sans entrer dans les détails formels, voilà comment se montent les choses :
On commence par un
: cela signifie intuitivement que tout ce que l'on va dire après est vrai pour tout objet mathématique, que l'on baptise
Ensuite on a :
qui signifie intuitivement que si l'objet r est un rationnel positif alors quelque chose.
Puis
: c'est la réponse à la condition
. Si
est un rationnel positif alors il existe un objet noté
tel que quelque chose.
enfin
et
: on en dit plus sur l'objet n; c'est un entier et il est strictement plus grand que
.
Donc en récapitulant, ça donne ceci :
Pour tout objet
:
si est un rationnel positif,
alors il existe un objet n, qui est un entier
et qui est strictement plus grand que r.