公理定義
公

公理定義　　　

亦稱“公設定義”、“隱定義”。通過在公理系統(tǒng)中使用被定義項，由此自然而然地明確被定義項的語法作用和特征的定義方法。如一些命題邏輯系統(tǒng)以“﹁”（否定）和“→”（蘊涵）作為初始概念，不加定義，而通過公理，在公理系統(tǒng)中使用它們，明確其意義作用，這就是公理定義。