אווקלידס (?330-260 לפנה"ס), מתמטיקאי יווני שחי באלכסנדריה שבמצרים. ספרו "היסודות" (13 כרכים) משמש בסיס ללימודי הגיאומטריה עד ימינו. ודאי שלא כל המצוי בו הוא פרי עמלו של אווקלידס, אולם יש לזקוף לזכותו את ארגון כל הידע המתמטי של ימיו באורח שיטתי, במערכת המבוססת על אקסיומות, ובכך סלל את הדרך לפיתוח השיטה האקסיומטית. בין השאר נמצאו בספרו הוכחה שיש אין-סוף מספרים ראשוניים, משפט פיתגורס, הוכחת קיומם של מספרים אירציונליים ושיטה לבניית גופים משוכללים.
רק במאה ה-19 נוספה על הגיאומטריה האווקלידית גיאומטריה לא-אווקלידית, שאינה כוללת את אקסיומת המקבילים הבעייתית של...
