Hình học phi Euclid là bộ môn hình học dựa trên cơ sở phủ nhận ít nhất một trong số những tiên đề Euclid. Hình học phi Euclid được bắt đầu bằng những công trình nghiên cứu của Lobachevsky (được Lobachevsky gọi là hình học trừu tượng) và phát triển bởi Bolyai, Gauss, Riemann.Hình học phi Euclid là cơ sở toán học cho lý thuyết tương đối của Albert Einstein, thông qua việc đề cập đến độ cong hình học của không gian nhiều chiều.Cha đẻ của bộ môn này là Nikolai Ivanovich Lobachevsky