Aşağıdaki ifadelerden hangisi bir aksiyom olarak kabul edilemez?
A) İki nokta arasında en kısa yol doğrudurSevgili öğrenciler, bu soruda bir aksiyomun ne olduğunu ve verilen ifadelerden hangisinin bu tanıma uymadığını anlamamız gerekiyor.
Aksiyom (Postulat): Matematik ve mantıkta, doğruluğu ispata gerek duyulmadan kabul edilen temel önermelerdir. Bunlar, bir sistemin veya teorinin başlangıç noktalarıdır ve diğer tüm teoremler bu aksiyomlar üzerine inşa edilir. Aksiyomlar genellikle sezgisel olarak doğru kabul edilir ve evrensel bir geçerliliğe sahip olduğu düşünülür.
Şimdi seçenekleri tek tek inceleyelim:
A) İki nokta arasında en kısa yol doğrudur: Bu ifade, Öklid geometrisinin temel postulatlarından biridir. Bir doğru parçasının tanımıdır ve doğruluğu açıkça ortadadır, ispat gerektirmez. Bu nedenle bir aksiyomdur.
B) Tüm dik açılar birbirine eşittir: Bu da Öklid'in dördüncü postulatıdır. Dik açının tanımı gereği, tüm dik açılar $90^\circ$ (veya radyan cinsinden $\frac{\pi}{2}$) olduğu için birbirine eşittir. Bu da doğruluğu açık olan ve ispat gerektirmeyen bir aksiyomdur.
C) Bir üçgenin iç açıları toplamı 180 dereceden azdır: Bu ifade, Öklid geometrisinde doğru değildir. Öklid geometrisinde bir üçgenin iç açıları toplamı her zaman tam olarak $180^\circ$ (veya $\pi$ radyan) dir. Bu ifade, hiperbolik geometri gibi Öklid dışı geometrilerde geçerli olabilir, ancak evrensel bir aksiyom olarak kabul edilemez. Aksine, Öklid geometrisinin temel bir sonucunu çürütür ve bu nedenle bir aksiyom değil, belirli bir geometrik sistemin (veya Öklid geometrisine göre yanlış bir ifadenin) özelliğidir.
D) Bir bütün parçalarından büyüktür: Bu ifade, Öklid'in "Ortak Kavramlar"ından (Common Notions) biridir. Mantıksal olarak açık ve sezgisel olarak doğru kabul edilen temel bir prensiptir. Örneğin, bir elma, onun yarısından veya çeyreğinden daha büyüktür. Bu da bir aksiyomdur.
Sonuç olarak, A, B ve D seçenekleri matematiksel sistemlerin temelini oluşturan, doğruluğu ispata gerek duyulmadan kabul edilen aksiyomlardır. Ancak C seçeneği, Öklid geometrisinde yanlış olan ve Öklid dışı bir geometrinin özelliğini tanımlayan bir ifadedir. Bu nedenle bir aksiyom olarak kabul edilemez.
Cevap C seçeneğidir.
