Discussion:Logique (mathématiques)/Égalité

Bravo pour votre exposé. Néanmoins, il m'a semblé relever une imprécision : vous dites que "Une transformation t est un isomorphisme pour un opérateur binaire + lorsque pour tous x et y, t(x+y)=(tx)+(ty)" - je pense que c’est simplement un (homo)morphisme tant qu'on n'a pas la bijectivité, or celle-ci ne se déduit pas des autres propriétés définissant ce que vous appelez "isomorphisme". Présenter la notion fondamentale d'isomorphisme est noble, mais remplacer "isomorphismes" par "(homo)morphismes" n’enlèverait rien à l’idée générale du paragraphe, puisqu’un morphisme, même non bijectif, induit tout de même un "transfert" de structure - ou alors il faudrait ajouter la notion de correspondance bijective.