typeracer

Geometri, belirli kavramları uçakla gibi, gelin ve düz çizgi olan ile biz ilişkilendirmek için daha fazla veya daha az kesin fikirleri, güçlü ve bazı basit önermeleri (aksiyomları) dışarı setleri olan, bu fikirlerin in virtue , biz gerçek kabul eğimlidir. Sonra, mantıksal bir sürecin temel olan kendimize itiraf etmek zorunda hissediyorum gerekçesi, tüm kalan önermeler bu aksiyomları adresinden takip gösterilir, bu kanıtlanmış yani.