Les les mathématiques et la logique sont des outils mais peuvent aussi devenir l'objet étudié.
Selon le champs de mathématiques étudiés on aura un ensemble différent d'axiomes (ou théorie). Un petit tour sur Wikipédia (à défaut d'étudier les mathématiques à la fac ;-) ) suffira à se convaincre que l'étude de la cohérence de ses théories a fait couler de l'encre ! (Cantor, Hilbert, Zermelo, Gödel, toussa... )
[^] # Re: coupable
Posté par Aldoo . En réponse au journal Hans Reiser déclaré coupable. Évalué à 2.
Selon le champs de mathématiques étudiés on aura un ensemble différent d'axiomes (ou théorie). Un petit tour sur Wikipédia (à défaut d'étudier les mathématiques à la fac ;-) ) suffira à se convaincre que l'étude de la cohérence de ses théories a fait couler de l'encre ! (Cantor, Hilbert, Zermelo, Gödel, toussa... )