什麼是數學公理

數學的基礎

數學公理是數學的基礎，是人們在長期實踐中總結出來的基本數學知識，並作為判定其他命題真假的根據。

數學公理被接受為不證自明的真理，也就是說，它們不需要額外的證明過程。在一個數學體系中，公理是所有其他陳述（如定理）的基礎，所有其他的數學命題都需要從公理中推導出來。公理與定理不同，一個公理（除非有冗餘）不能被其他公理推導出來，否則它就不再是最初的起點，而可能是一種可以由其他公理推導出的定理。