Un geste qui soulage

En mai 1890, Peano publie un article sur la démonstration de l'intégrabilité des équations différentielles ordinaires dans lequel il fait mention explicite, de manière négative, à ce qui deviendra 14 ans plus tard, sous la plume de Zermelo, l'axiome du choix. Face à cet infamie, deux activistes du formalisme, futurs membres de la SAAC, décidèrent de frapper un grand coup. Le geste fut salué par certains comme la première grande victoire sur l'intuitionnisme rampant. Nous ne les oublierons pas.