typeracer

Meetkunde stel van sekere begrippe soos vliegtuig, punt, en reguit lyn, met wat ons in staat is om assosieer min of meer definitiewe idees, en uit sekere eenvoudige stellings (aksiomas), wat in die grond van hierdie idees Ons is geneig om te aanvaar as waar is. Dan, op grond van 'n logiese proses, die regverdiging van wat ons voel ons verplig om te erken, al die oorblywende stellings getoon is om te volg uit hierdie aksiomas, dws hulle is die bewys.