The current structure of mathematical definitions, theorems, and proofs is inherited from the Greek tradition of Euclid's Elements.

"This tradition of organizing mathematical knowledge is inherited from the Greeks, especially Euclid's Elements. The goal of a definition is to introduce a mathematical object. The goal of a theorem is to state some of its properties, or interrelations between various objects. The goal of a proof is to make such a statement convincing [...]" – Yuri Manin (1937-) #quote #mathematics #maths #math

"Cette tradition d'organisation des savoirs mathématiques est héritée des Grecs, en particulier des Éléments d'Euclide. Le but d'une définition est d'introduire un objet mathématique. Le but d'un théorème est d'énoncer certaines de ses propriétés, ou des interrelations entre divers objets. Le but d'une preuve est de rendre une telle affirmation convaincante [...]" – Yuri Manin (1937-) #citation #mathématiques #maths #math