1826 жылы Лобачевский Евклидтің параллельдік аксиомасынан бас тартып, оның есімімен аталған Евклидтік емес геометрияны құрастырды. Лобачевский аксиомасы тура сызыққа жатпайтын нүкте арқылы бірден артық тура, параллель деректерді өткізуге болады дейді. Лобачевский осы аксиоманы басқа ұғымдармен бірге пайдаланып, жаңа геометрияны құрды, ол 1868 жылға дейін толық негіздеме берілгенге дейін, көрнекіліктің жоқтығына байланысты гипотетикалық болып қалды. Лобачевский, осылайша, жаңа геометриялық теорияларды құру принциптерін ашып, аксиоматикалық әдістің дамуына ықпал етті.
Лобачевскийдің аксиомасы қай жылға дейін болжамдық болып қалды?
1868 жылға дейін