Citation Envoyé par Ledescat Voir le message
Excellent. Cependant, cela remet en cause ma définition de deux objets égaux: si a=b, toute propriété vérifiée par a est vérifiée par b et réciproquement. Il faudrait donc corriger en disant "propriété mathématique".
Me trompe-je ?
Le biais vient de ce que le prédicat porte sur la référence (il est donc supposé être écrit en métalangage), alors que l'égalité porte sur les objets, on pourrait ré-écrire les chose de la façon suivante :

P(x,y) signifie "x s'écrit avec plus de caractères que y"
a="1000"
b="104"
c="10000"

Les guillemets indiquant l'usage de référence, alors P(a, b) est vrai, P(a, c) est faux, mais il n'y a pas de contradiction car a b, en effet "104" n'est pas égal à "10000".

Un peu de la même façon, il est idiot de dire long est court mais parfaitement valide de dire "long" est _court_ (_court_ est ici un élément du métalangage, et non du langage).

Cordialement