Вот простой пример для варианта первого постулата некоей неевклидовой геометрии.
Аксиома 1 Между двумя точками плоскости можно провести бесконечное множество прямых.
На шаре так и есть. Если мы заменили 5 постулат на «все прямые пересекаются», то вынуждены заменить и 1 постулат на указанный Вами.
-- 18.04.2024, 11:25 --
Насчет того что "непоколебимо встроен". Скажем так: геометрические системы, в которых нет утверждения, аналогичного первому постулату, имеются, но от классической геометрии они далеки. А вот геометрия Лобачевского, напротив, к классической геометрии крайне близка.
Сферическая геометрия очень даже классическая и наглядная, чего не скажешь о геометрии Лобачевского и тем более «современной».