transkript: 10, Aşağıdakilerden hangisi Gödel'in Hilberl-Ackermann sistemi için kanıtladığı “(amlık teoremi"ni ifade eder? A) B) C) D) E) Sistemın her geçerlı önermesi bu sıstemde kanıtlanabilır. Sistemın her kanıtlanabilır önermesi geçerlidir. Sistemdekı hiçbır bem, sadece diğer belıllerden kanıtlanamaz. Sistemin her beliti geçerhdir. Sistemdekt bütün çıkarım kuralları biçimseldir.