**Soru:** Geometri aksiyomları neden var? Her şeyi kanıtlamak yerine bazı şeyleri "kabul etmek" zorunlu mu? **Kısa cevap:** Evet, zorunlu. Her ispat başka bir şeyi kanıtlanmış kabul eder. Bu zincirin bir yerde başlaması gerekir, başlangıç noktalarına aksiyom denir. --- **Aksiyom nedir?** Aksiyom, kanıtsız kabul edilen, ama çok temel ve açık görünen bir öncüldür. "İki nokta arasında bir doğru çizilebilir", bunu nasıl kanıtlarsın? Kanıtlamaya kalksan daha temel başka şeylere ihtiyaç duyarsın. Ve o şeyleri kanıtlamak istersen daha temel başka şeylere... Bu sonsuz geri gidişi kesmek için bir yer seçip "burayı kabul ediyorum" demek zorundasın. İşte geometri aksiyomları bu kesiş noktasıdır. --- **Öklid'in aksiyomları neden seçildi?** Öklid, M.Ö. 300 civarında geometri aksiyomları olarak 5 öncülü seçti: 1. İki nokta arasında yalnızca bir doğru çizilebilir 2. Herhangi bir doğru parçası bir doğruya uzatılabilir 3. Herhangi bir merkez ve yarıçapla bir çember çizilebilir 4. Tüm dik açılar birbirine eşittir 5. **Paralel aksiyomu:** Bir doğru ve bu doğru üzerinde olmayan bir nokta verildiğinde, bu noktadan geçen ve verilen doğruya paralel olan yalnızca bir doğru çizilebilir Bu seçimler sezgisel ve "açıkça doğru" görünen öncüllerdi. --- **Başka türlü olabilir miydi? Evet!** Burada matematik tarihinin en çarpıcı keşiflerinden biri giriyor. 5. aksiyom (paralel aksiyomu) diğerlerine kıyasla biraz daha karmaşıktı. Matematikçiler onu diğerlerinden türetmeye çalıştı, ama başaramadı. 19. yüzyılda ortaya çıktı ki 5. aksiyomu değiştirerek tutarlı ama farklı geometriler kurulabilir: - **Hiperbolik geometri:** Bir noktadan geçen sonsuz sayıda paralel çizilebilir - **Eliptik geometri:** Hiç paralel çizilemez Bu geometriler tutarsız değil, sadece farklı geometri aksiyomları üzerine kurulmuş, farklı uzayları tanımlıyorlar. Genel Görelilik Teorisi'nde Yer'in etrafındaki uzay-zaman Öklid geometrisi ile değil, bu non-Öklid geometrilerle tanımlanır. --- **Aksiyomlar "doğru" mu?** Aksiyomlar doğru ya da yanlış değildir, seçilmiş başlangıç noktalarıdır. Farklı aksiyom setleri farklı matematik sistemleri üretir. Hangisi "doğru" sorusu, o sistem ile modellemek istediğin gerçekliğe bağlıdır.