Kurt Gödel'in Eksiklik Teoremi'ni anlatın ve bu teoremin matematiğin tamamlanabilirliği (completeness) iddiasına neden darbe vurduğunu açıklayın. Biçimsel sistemlerin doğası gereği içinde doğru olup kanıtlanamayan öneriler bulunduğu fikrinin, yapay zeka ve bilginin sınırları açısından ne anlama geldiğini teorik olarak tartışın.