(PFFF ! no 20210326) Nicolas Bourbaki, le nom de plume d’un collectif de mathématiciens encore actif {1}, a proposé en 1970 un formalisme pour exprimer la théorie des ensembles, l’une des théories en vigueur pour fonder les mathématiques. Leur formalisme n’est pas des plus pratique: pour définir le nombre 1, José Grimm aurait calculé qu’il faudrait tellement de symboles que le poids des livres qui les contiendraient dépasserait des centaines de milliers de fois la Voie lactée {2}. Ce qui, vous en conviendrez, est pas mal plus long que la plus longue blague de l’univers {3}.
{1} https://fr.wikipedia.org/wiki/Nicolas_Bourbaki
{2} https://mathoverflow.net/questions/357498/bourbakis-definition-of-the-number-1/357558#357558