ULYSSE 3
En mathématiques, qu’exprime
l’égalité A = B
•Il existe de très nombreuses façon équivalentes de définir la
relation d’égalité.
•La plus connue s’appuie sur la théorie des ensembles: « A=B »
est synonyme de « AB et BA ». On sait que cette relation est
réflexive (A=A), symétrique (si A=B alors B=A) et transitive (si
A=B et B=C alors A=C) Mais il n’est pas facile, parfois, de la
distinguer d’une équivalence.
•Nous choisissons celle de la théorie des modèles : « A=B » si:
•a. dans toutes les occurrences de A dans des formules d’une
théorie, A peut être remplacé par B (et réciproquement) sans
changer la validité de ces formules
•b. si dans toutes les réalisation de cette théorie, A=B est la
relation d’identité: A et B sont le même objet.
•Il existe donc dans cette théorie un quantificateur !E qui exprime
qu’il existe un et un seul objet E (réalisations égalitaires)