Hình học là ngành toán học lo về liên hệ không gian. Dùng kinh nghiệm, hay có lẽ bằng trực giác, người ta nhận ra không gian theo những đặc điểm cơ bản, thuộc hình học gọi là tiên đề. Tiên đề này không thể chứng minh được, và được dùng với những định nghĩa toán cho những điểm, đường thẳng, đường cong, mặt, và lập thể để rút ra những kết luận hợp lý.