Дивный новый мир

В прошлый раз я говорил, что математики для определения базовых понятий теорий вводят аксиомы. Эти аксиомы описывают поведение, например, прямых, точек и плоскостей. И если "прочувствовать" эти аксиомы, то само понятие прямой, точки и плоскости становится понятным на интуитивном уровне. Привычная геометрия носит имя Евклида, который и ввёл впервые аксиоматику геометрии. Уже много позже появился некто Лобачевский, который предположил, что одна из аксиом лишняя, т.е. является следствием остальных аксиом...