形式化嘅幾何學源於古希臘－喺公元前 3 世紀，古希臘數學家歐幾裏得（Euclid）喺佢本名著《幾何原本》（Elements）當中用公理化嘅方法證明咗多條幾何學上嘅定理，為後世嘅幾何學研究奠定咗一個重要嘅根基。