一種邏輯系統，它擁有一組明確陳述的集合公理，從中可以推匯出定理。
更多嘗試
Weisstein, Eric W. "公理系統。" 來自 —— 資源。 https://mathworld.tw/AxiomaticSystem.html
主題
主題