Геометрия Евклида — теория, основанная на системе аксиом, изложенной в Началах. Гиперболическая геометрия Лобачевского, ее применение в математике и физике. Реализация геометрии Римана на поверхностях с постоянной положительной гауссовской кривизной.