Précise, je suis tout ouïe.
La TRM est sous licence libre GPL v3, disponible en ligne en français mais aussi en anglais depuis quelques mois grâce au travail de traducteurs motivés.
J'ai dit que ça avait été prouvé qu'elle était cohérente, pas que la théorie l'avait fait par elle même.
Il faut donc mieux dire en effet "cohérente relativement à…". Ainsi que l'on démontre que L1 est cohérente relativement à L2, ne nous dit pas si L1+L2 est cohérente à son tour, et donc rien sur la cohérence de L1 relativement à L3.
Ce qui nous fait retomber dans la même impasse (ou libération, selon le point de vue, là aussi deux points de vue incohérents entre eux).
+2
-2