 Eudoxus (408–355 BCE) and Theaetetus (417–369 BCE) formulated theorems but did not prove them.Aristotle (384–322 BCE) said definitions should describe the concept being defined in terms of other concepts already known.Mathematical proof was revolutionized by Euclid (300 BCE), who introduced the axiomatic method still in use today.