QUEBRA: "Aristóteles agora escreveu a maioria das soluções formalizadas do público sobre ." — Boris Alexeev, matemático