Aksiyom nedir Test 1

Bir öğrenci "Her doğal sayının bir sonrakisi vardır" ifadesinin bir aksiyom olduğunu iddia ediyor. Bu ifade hangi matematiksel sistemin aksiyomlarından biridir?

A) Öklid Geometrisi
B) Küme Teorisi
C) Peano Aritmetiği
D) Analiz

Matematikte aksiyomlar, bir matematiksel sistemin temelini oluşturan, doğruluğu ispatsız kabul edilen önermelerdir. Bu önermeler üzerine sistemin diğer tüm teoremleri inşa edilir. Öğrencinin bahsettiği "Her doğal sayının bir sonrakisi vardır" ifadesi, doğal sayıların yapısını tanımlayan temel bir özelliktir.

• A) Öklid Geometrisi: Öklid Geometrisi, noktalar, doğrular, düzlemler ve şekiller gibi geometrik kavramları inceler. Aksiyomları genellikle iki noktadan bir doğru geçmesi, tüm dik açıların eşit olması gibi geometrik ilişkileri tanımlar. Doğal sayıların bir sonraki sayısının varlığı bu sistemin temel aksiyomlarından biri değildir.
• B) Küme Teorisi: Küme Teorisi, matematiksel nesnelerin koleksiyonlarını (kümeleri) ve bunların özelliklerini inceler. Kümelerin varlığı, birleşimi, kesişimi gibi kavramlar üzerine kuruludur. Doğal sayılar küme teorisi içinde inşa edilebilir olsa da, "her doğal sayının bir sonrakisi vardır" ifadesi doğrudan küme teorisinin kendi aksiyomlarından biri değildir; daha çok doğal sayıların tanımına özgü bir özelliktir.
• C) Peano Aritmetiği: Peano Aritmetiği, doğal sayıları ve onların temel özelliklerini (toplama, çarpma gibi) tanımlamak için oluşturulmuş bir aksiyomatik sistemdir. İtalyan matematikçi Giuseppe Peano tarafından formüle edilen bu sistemin aksiyomları şunlardır:
  • $0$ bir doğal sayıdır.
  • Her doğal sayının bir ardılı (sonrakisi) vardır ve bu ardıl da bir doğal sayıdır. Bu ardıl genellikle $S(n)$ veya $n+1$ olarak gösterilir. Öğrencinin bahsettiği ifade tam olarak bu aksiyomdur.
  • $0$ hiçbir doğal sayının ardılı değildir.
  • Farklı doğal sayıların ardılları da farklıdır (yani ardıl fonksiyonu birebirdir).
  • Matematiksel tümevarım ilkesi (doğal sayılarla ilgili bir özelliğin tüm doğal sayılar için geçerli olduğunu ispatlamaya yarar).

  Görüldüğü gibi, "Her doğal sayının bir sonrakisi vardır" ifadesi, Peano Aritmetiği'nin temel aksiyomlarından biridir ve doğal sayıların sonsuzluğunu ve sıralı yapısını güvence altına alır.

• D) Analiz: Matematiksel analiz, limitler, süreklilik, türevler ve integraller gibi kavramları kullanarak fonksiyonları ve gerçek sayıları inceler. Analiz, doğal sayılar ve gerçek sayılar üzerine kuruludur, ancak "her doğal sayının bir sonrakisi vardır" ifadesi analizin doğrudan bir aksiyomu değil, daha temel bir sistem olan Peano Aritmetiği'nin aksiyomudur. Analiz, bu temel sayı sistemlerinin üzerine inşa edilir.

Bu nedenle, öğrencinin bahsettiği ifade, doğal sayıların yapısını tanımlayan Peano Aritmetiği'nin temel bir aksiyomudur.

Cevap C seçeneğidir.