Même si je ne dispose pas des connaissances suffisantes pour émettre un avis sur le sujet, j'ai apprécié le billet de David Madlore, certes très technique, De quoi parlent les mathématiques?, abordant la problématique du codage des mathématiques.
On y retrouvera les acteurs principaux que sont ZFC, Peano et Gödel.
J'adore....