ULTIME NOTIZIE: "Aristotele ha ora scritto la maggior parte delle soluzioni formali pubbliche su ." — Boris Alexeev, matematico