公理無需證明 證明書

公理無需證明
樓上說的有點小問題，我重新說一下：
公理是大家公認爲正確的，是不需要證明的。公理相當於是一個最初的原材料，用公理才能證明定理。
定理是在公理基礎上出現的，他的地位比公理低一些，它是需要證明的。
而一旦某個定理被證明是正確的，那麼它就可以用來證明其他的定理。
所以可想而知，在最初什麼定理都沒被證明時，我們手上的“原材料”只有公理，因此這時想要證明某條定理只有完全用公理。而在這之後，那條被證明的定理也就加入了我們的“原材料”的行列，下次證明其他定理時就可以直接用了。
總結起來：
公理無條件成立。定理需要證明，在證明的過程中，可以用的工具是:公理和已經被證明正確的定理。
至於公式只是用數學的語言描述的公理或定理，這樣表達起來比文字敘述更簡練，她本身並不是一個新事物，只是公理或定理的另一種表示而已。
2
三段論推理的公理是：對一類事物的全部有所肯定(否定)，則其中任何部份也有所肯定(否定)。公理或是爲過去、現在人類實踐反覆證明了其真實性的判斷，或其真實性雖無法證明，但已公認爲與現代科學知識無矛盾的命題。
在一些較爲成熟的學科中，特別是數學、物理學、邏輯學中，人們常選擇一些不證自明的命題作爲公理，這些公理是該門學科推演定理的基礎，是整個體系邏輯推理的依據，從它們出發，運用適當的推演規則，可以推出該體系的定理。由於它們是邏輯推理的出發點，自然也就表現爲該門科學體系內無法證明的東西。在一門科學中，以一些公理爲基礎，運用演繹推理推導出一系列定理，稱爲公理法或公理方法。運用這種方法建立起來的科學理論，稱爲公理體系或公理系統。
3
其實公理是不需要證明的。我們平時所學是歐幾里得幾何，是在一套公理系統上建立起來的。比喻過直線外一點有且只有一條直線與它平行，在非歐幾何系統是可以無數條的。三條邊相等的三角形全等也是可以證明的。用反證法。假設兩三角形ABC、EFG對應三邊相等，而三角不等，不妨設角B#角F，角C#角G (如不等時肯定有兩對角不等，因有兩對角相等時，第三對角也必相等，內角和同爲180度)。 由於BC=FG，我們移動三角形EFG，使BC與FG重合，且A與G在BC的同一邊 角B#角F，角C#角G，連接AE，AE中心爲H，邊BE、CE則三角形AEB(F)、AEC(G)都爲等腰三角形，BE、CE分別爲高，過同一點H有兩條不同直線垂直於AE，矛盾故原假設不對原命題成立，即三邊相等的三角形全等。