udowodniono, że wszystkie takie konstrukcje można wykonać przy pomocy samego liniału, o ile tylko dany jest na płaszczyźnie pewien okrąg wraz ze środkiem (twierdzenie Ponceleta-Steinera); co więcej można je wykonać za pomocą samego cyrkla (twierdzenie Mohra-Mascheroniego).
Aksjomaty Euklidesa thumb W ujęciu tradycyjnym, nazywanym geometrią syntetyczną, geometria euklidesowa przedstawiana jest jako system aksjomatyczny, w którym wszystkie twierdzenia muszą wynikać z aksjomatów, czyli zdań przyjmowanych z góry jako prawdziwe.
W podanym przez siebie systemie Euklides wyróżnił pięć aksjomatów lub pewników płaszczyzny nazywanej później również euklidesowąKsięga I - Postulaty: Dowolne dwa punkty można połączyć odcinkiem. Dowolny odcinek można przedłużyć nieograniczenie (uzyskując prostą). Dla danego odcinka można zaznaczyć okrąg o środku w jednym z jego końcowych punktów i promieniu równym jego długości. Wszystkie kąty proste są przystające. Dwie proste, które przecinają trzecią w taki sposób, że suma kątów wewnętrznych po jednej stronie jest mniejsza od dwóch kątów prostych, przetną się z tej właśnie strony.