typeracer

Geometry anger kutoka dhana fulani kama ndege, kumweka, na Iliyo line, na ambayo tunaweza washirikisha uhakika zaidi au chini ya mawazo, na kutoka kwa baadhi rahisi propositions (axioms) ambayo, katika nguvu ya mawazo haya , sisi zimekwisha elekea huko kukubali kama kweli. Basi, juu ya msingi wa kimantiki mchakato, ambayo uhalali wa tunajisikia wenyewe wanalazimishwa kukubali, yote iliyobaki ni propositions umeonyesha kufuata kutoka kwa wale axioms, yaani wao ni kuthibitika.