Euclid laid it all out as a logical system of proof built up from a set of definitions, common notions, and his five famous postulates.
אאוקלידס ארגן את הכל כמערכת לוגית של הוכחות שהוקמה על יסוד מערך של הגדרות, רעיונות מקובלים, שהוקמה על יסוד מערך של הגדרות, רעיונות מקובלים, וגם חמשת האקסיומות המפורסמות שלו.