似乎公理都是不需證明的,定理才要證明吧
補(bǔ)充：
公理
（1）經(jīng)過(guò)人類長(zhǎng)期反復(fù)的實(shí)踐檢驗(yàn)是真實(shí)的,不
需要由其他判斷加以證明的命題和原理.如傳統(tǒng)形
式邏輯三段論關(guān)于一類事物的全部是什么或不是什么,
那么這類事物中的部分也是什么或不是什么,也即如果
對(duì)一類事物的全部有所斷定,那么對(duì)它的部分也就有所
斷定,便是公理.又如日常生活中人們所使用的“有生必
有死”,也屬于這種不證自明的判斷.
（2）某個(gè)演繹系統(tǒng)的
初始命題.這樣的命題在該系統(tǒng)內(nèi)是不需要其他命題加
以證明的,并且它們是推出該系統(tǒng)內(nèi)其他命題的基本命
題.