怎麼證明公理是公認的真命題

公理是不需推理論證的真命題，公理可以作為推理論證定理及其他命題真假的依據。真命題是一種邏輯學術語。一般的，在數學中把用語言、符號或式子表達的，可以判斷真假的陳述句叫做命題。命題真值只能取兩個值：真或假。真對應判斷正確，假對應判斷錯誤。任何命題的真值都是唯一的，稱真值為真的命題為真命題。逆否命題的定義：一個命題的條件和結論分別是另一個命題的條件的否定和結論的否定，把這樣的兩個命題叫做互否命題。如果把其中一個稱為原命題，那麼另一個就叫做它的否命題。