typeracer

Geometria esitetään tiettyjen käsitteiden, kuten kone, kohta ja suora linja, johon voimme yhdistää enemmän tai vähemmän konkreettisia ideoita, ja tiettyjen yksinkertaisten propositions (aksioomat), joka perusteella nämä ajatukset Olemme taipuvaisia hyväksymään kuin totta. Sitten pohjalta loogisen prosessin, perustelut, jotka tunnemme itsemme pakko myöntää, kaikki jäljellä olevat ehdotusten näkyvät seurata näiden aksioomat, eli ne on osoitettu.