typeracer

Geometri sett ut fra visse forestillinger som fly, punkt og rett linje, som vi kunne knytte mer eller mindre bestemte ideer, og fra enkelte enkle påstander (aksiomer) som, i kraft av disse ideene Vi er tilbøyelige til å akseptere som true. Så, på grunnlag av en logisk prosess, den begrunnelse som vi føler oss tvunget til å innrømme, alle gjenværende forslag er vist å følge fra de aksiomer, dvs. de er bevist.