Euklid sammelte in Alexandria um 3oo v.Chr. das mathematische Wissen seiner Zeit und fasste es in 13 Büchern zusammen. Er nannte dieses Werk: Die Elemente.
In den Elementen gab Euklid der Mathematik einen strengen, deduktiven Aufbau. Alle Behauptungen mathematischer Sätze wurden bewiesen. D.h. die Aussagen der Behauptungen wurden mittels der Logik auf einige wenige, allgemein anerkannte Aussagen zurückgeführt.
Euklid unterschied verschiedene Arten von solchen allgemein anerkannten Aussagen: