Hình học là ngành toán học nghiên cứu 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à hệ tiên đề. Hệ tiên đề bao gồm các khái niệm nguyên thủy không định nghĩa và các tiên đề (còn được gọi là các định đề) không chứng minh quy định mối quan hệ giữa các khái niệm ấy.