@médiat : pourquoi est-ce important de pouvoir définir les entiers de R à l'aide d'un langage du premier ordre? <je ne sais pas si ma formulation est correcte>
sous-jacente à ma question est l'interrogation suivante : d'après ce que tu dis, la définition de Tryss (en termes d'équa diff) n'est pas du premier ordre. Mais les équa diffs ça me semble être une partie important des maths, et donc peut-être que ce premier ordre ne capture qu'une pette partie des maths (?)
-----