Mantığın Gelişimi 2013 - 2014 Dönem Sonu Sınavı 18.Soru

18.Soru
Mantığın Gelişimi 2013 - 2014 Dönem Sonu Sınavı 18.Soru
transkript: 18_ Aşağıdakilerden hangisi Gödel'in "B'rinci Eksiklik Teoremi"rıi ifade eder? A) B) Peano antmetiğmdeki tümevarım bemlen dığer belıtler yardımwyla kanmanamaz. Ammetiği wçerecek güçle ve tularh bir sıstemde en az bır önerme doğru bir aritmetik önermeyı belimr ama bu sistemde Kanatlanamaz. Peano arıtmetığw tutarsızdwr. Peano bennerınden en az bm bu sıstemın diğer behtlennden kanıtlanamaz. Hermtarh mantık sisîemwnın belıtlerınden en az bin Peano aritmehğinde kanıtlanamaz
Yorumlar
  • 0 Yorum