PRZEŁOM: "Arystoteles napisał teraz większość publicznych sformalizowanych rozwiązań na ." — Boris Alexeev, matematyk