с\\к Програмне забезпечення досліджень сучасної геометрії(Стєганцев Євгеній Вікторович): Система аксіом Вейля