typeracer

幾何列出了某些概念，如“飛機”，“點”和“直線”，是我們能夠副或多或少明確的想法，和一些簡單的命題（公理），其中在憑藉這些想法，我們傾向於接受“真的。”然後，在此基礎上合乎邏輯的過程中，理由是我們認為我們不得不承認，所有剩餘的命題顯示遵循這些公理，即它們被證明。