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.
Démarrer une discussion sur Logique (mathématiques)/Égalité
Les pages de discussion sont l’endroit où diverses personnes peuvent discuter de la manière d’améliorer le contenu de Wikiversité. Vous pouvez utiliser cette page pour démarrer une discussion avec les autres utilisateurs sur la façon d’améliorer la page « Logique (mathématiques)/Égalité ».
