./7889> Humm, il serait ptet plus juste de dire que toute propriété arithmétique universelle est intuitivement vraie (=elle est vraie pour les entiers intuitifs).

C'est le cas de la propriété de Gödel (qu'il a construite pour la preuve de son théorème d'incomplétude)

(cross)