Проект геометрия лобачевского как пример аксиоматической теории