非邏輯公理

非邏輯公理（non-logical axiom）亦稱“專有公理”。用形式語言把一個理論寫成形式系統時，除邏輯公理以外的初始公式。