".... buna göre, böyle bir aksiyomatik sistemde, her bir önermenin ispatında, tanımlar, postulatlar ve aksiyomlar dışında, sadece daha önce ispatlanmış önermeler kullanılır. ispatlara kanıtlanmamış hiçbir teorem dahil edilmediği gibi, başlangıçta apaçık kabul edilen veya sonradan ispat yoluyla bilinen dışında hiçbir şey doğru kabul edilmez. euklides geometride sonuçların mutlak olarak kesin olmalarının, ancak bu şekilde sağlanabileceğini düşünmüş." iyi de yapmış. düşündürmeye devam ediyor.
kelimelere yakışan müziği de açalım fonda aksın;
rahmetli dvorak abimizden romance for piano and violin op. 11. rahatlamayan gidip duş alsın.
