transkript: 20“ Aşağıdakilerden hangisi Gödel'in "Birinci Eksiklik Teoremi"ni ifade eder? A) Peano arwlmetiğindeki tümevarım behlieri diğer belıtler yardımwyla kanmanamaz. Aritmetiği içerecek güçle ve îutarlr bir Sistemde en az bir önerme doğru bır aritmetik önermeyi belirtir ama bu sistemde kanıtlanamaz Pea no arıtmetığı tutarsızdır. Peano belıtlerınden en az barı bu sıstemın dığer belitlennden kanıtlanamaz. Hertuıarlı mantık sıstemmin belitlerınden en az bin Peano aritmelığinde kanıtlanamaz