transkript: 16, Aşağıdakilerden hangisi Gödel'in "Birinci Eksiklik Teoremi"ni ifade eder? 5) Peano aritmetiği tutarsızdır. Arılmetığı wçerecek güçte ve tutarlı bir sistemde en az bir önerme doğru bir aritmetik önermeyi belirtır ama bu sistemde kanıtlanamaz. Peano belıtlerinden en az bari bu sistemin dığer behllennden kanıtlanamaz. Peano aritmetiğindeki lümevanm belitleri diğer belitler yardımıyka kanıtlanamaz Her tutarlı mantık sistemimn belitlennden en az biri Peano arılmetiğinde kanmanamaz