形式公理系統

一個公理系統沒有作用系統以外的概念來定義和解釋，而是自我封閉的，即滿足相容性、獨立性和完備性，這樣的公理系統叫做形式公理系統。如希爾伯特幾何公理系統。統一論從科學角度看是個實質公理系統，但從自然哲學上看則為形式公理系統。