實質公理系統

一個公理體系中的名詞是預先已經定義的概念，這樣的公理系統就是實質公理系統。如歐幾里德幾何公理系統。因為要先定義概念，所以就要有一些原始的概念作為定義其他概念的出發點，如歐氏幾何中使用的“部分”、“長度”、“寬度”、“界限”以及“同樣的位置”等。