Загалом у 13 книгах «Почав» 130 визначень, 5 постулатів, 5 (у частині видань – 9) аксіом, 16 лем і 465 теорем (включаючи завдання на побудову).

В цілому, вибір постулатів та аксіом у Евкліда вдалий, але його система не є повною: у ній відсутні багато важливих аксіоми (наприклад, стереометричні).

1.Від будь-якої точки до кожної точки можна провести пряму.
4.Усі прямі кути рівні між собою.

Формат математики, який створив Евклід, нині відомий як «евклідова геометрія» Вчений також створив прилад визначення висоти тону струни і вивчав інтервальні співвідношення, посприявши створенню клавішних музичних інструментів.

Гільберт Д. Підстави геометрії. – 1948. – (Класики природознавства.