Citation Envoyé par Michel (mmy) Voir le message
Oui, je vois bien. Je crois que mon blocage reste sur la notion de "propriété du premier ordre". Je n'ai pas "les mécanismes intuitifs" permettant de saisir "être archimédien n'est pas du premier ordre" (cela ne m'empêche pas de l'admettre parce qu'on me le dit!).
Cela veut juste dire qu'il n'existe pas de formule du langage qui exprime la propriété d'Archimède.