"Tout entier est le carré d'un entier : quelque soit x,y appartenant à N il existe y appartenant à N tel que x=y "
Non c'est pas ça.
"Tout entier a pour carré la somme des carrés de deux entiers : quelque soit x appartenant à N il existe y et z appartenant à N² tel que x² = y²+z² "
Oui. Un détail cependant : écris soit "il existe y,z € N" soit "il existe (y,z) € N²" mais pas un mix des deux.
"Certains entiers ont pour carré la somme des carrés de deux entiers
Il existe x,y,z appartenant à N^3 tel que x²=y²+z² "
Oui.
"Aucun entier n'est plus grand que tous les autres
Je ne sais pas comment quantifier ce qui n'existe pas... "
Aucun entier n'est plus grand que tous les autres est équivalent à dire que pour tout entier, il en existe un plus grand.