A=b

[ffpower]

Si on veut se la jouer Bourbakiste, le = est bien défini en maths. a=b est un raccourci pour
,
ce qu'on peut donc voir moralement comme: a=b ssi a et b ont exactement les mêmes caractéristiques..

Et du coup, est une conséquence du principe logique
, qui lui même est une conséquence des axiomes logiques utilisés en maths.

Et au passage la notion de démonstration est bien définie aussi, et est on ne peut plus simple: une demo, c'est juste une succession de "A est vrai et A=>B est vrai, donc B est vrai" ^^

[Dlzlogic]

Bonsoir Beagle,
Ne serait-on pas en présence d'un troll ?
Y'a une réponse qui est passée à la trappe... Non erreur de ma part, c'était la page suivante ...
Bonne nuit , :dodo:

[beagle]

Ainsi donc l'égalité est forcément symétrique dans la définition,
sinon c'est du Coluche, a est plus égal à b que b le serait d'avec a , ce qui???

Donc comme ffpower nous l'a mis,
l'équivalence est dans Bourbaki
Pour les définitions
- a et b ont les mèmes propriétés,
c'est les propriétés de a sont des propriétés de b
et les propriétés de b sont des propriétés de a
- a et b sont interchangeables, définition que j'aime bien aussi,
signifie, je peux changer a par b, et je peux changer b par a

pour le truc où b=a et en mème temps b différent de a,
ben on est géné pour faire de la mathématique ensuite avec ça!