LÁMÁNÍ: "Aristoteles nyní napsal většinu veřejné formalizované verze na ." — Boris Alexejev, matematik