typeracer

Geometrie stanoví z určitých představ, jako letadlo, bod a přímka, se kterou jsme schopni spojit více či méně přesnou představu, a od některých jednoduchých předpokladů (axiomů), která je na základě těchto myšlenek , jsme ochotni akceptovat jako pravda. Pak, na základě logického postupu, odůvodnění, které se cítíme sami nuceni přiznat, že jsou všechny zbývající návrhy ukázaly Z těchto axiomů, tj. jsou prokázané.