Quelques éléments de réponses :
- Rammstein43 est demandeur (et j’approuve)
- Il ne perd pas son temps, au pire il s’entraîne à manipuler des variables et le calcul formel
- Je ne perds pas mon temps (cf. ci-dessus)
- Je serais pleinement satisfait si deux ou trois lecteurs (dont Rammstein43) pouvaient avoir compris l’importance de la construction des ensembles quotients.
- Je n'ai pas exagéré en ne partant pas de Peano (ce qui aurait, pourtant, été pur et dur)
- L’intuition, pour le mathématicien, est comme la langue d’Esope : la meilleure et la pire des chose, d’autant plus que ce qui n’est pas intuitif un jour peut le devenir plus tard : sans intuition il n’y aurait sans doute jamais eu de géométrie euclidienne, avec que de l’intuition les géométries non-euclidiennes n’auraient sans doute jamais vu le jour, ces géométries " contre intuitives " il y a 150 ans font partie de notre intuition d’aujourd’hui.
-----