形式公理系統

一個公理系統沒有作用系統以外的概念來定義和解釋，而是自我封閉的，即滿足相容性、獨立性和完備性，這樣的公理系統叫做形式公理系統。