Здесь нет аксиом и постулатов. Четвертое требование: прямой угол.

В этом видео я покажу вам, как вывести эти два геометрических объекта из ничего. Линия выводится из базового понятия — точки. Продолжение линии выводится из прямой линии. Окружность выводится из линии и продолжения прямой линии. Из окружности мы систематически определяем угол, дугу и т. д. и получаем название для тех особых углов, которые образуются при пересечении двух диаметров таким образом, что все образовавшиеся дуги равны. В следующем видео я завершу вывод пятого и последнего требования. Все 5 требований (НЕ аксиомы) в «Началах» Евклида выводятся из предыдущих понятий, начиная с точки, которая не выводится ни из каких предыдущих понятий. В главе «В математике нет аксиом или постулатов» объясняется всё это: https://drive.google.com/file/d/1CIul68phzuOe6JZwsCuBuXUR8X-AkgEO/view