Neblux 知識圖譜
公理系統
公理系統是由指定形式語言、公理集合以及用以推導定理的推理規則所組成的演繹體系。
概觀
以演繹方式組織知識的傳統可追溯至古希臘幾何學，歐幾里得《幾何原本》為其代表範例。現代形式邏輯進一步將公理系統符號化，明確區分形式符號、公理（可為有限條目或公理模式）以及機械推理規則，並將純句法推導與語意模型中的真值分開處理。隨後的邏輯研究著重於系統的一致性、完備性及公理間的獨立性。
為什麼重要
公理化方法為現代數學基礎、形式邏輯與理論電腦科學建立了嚴謹規範。該方法亦廣泛應用於程式驗證、型別理論及互動式定理證明輔助工具。