<s>[INST]Godel’in 1930’da yapılan aksiyomatik sistem hakkındaki ifadesi neredeydi?[/INST]Von Neumann'ın bu katkısı ile, kümeler teorisinin aksiyomatik sistemi tamamen tatmin edici hale geldi ve bir sonraki soru, aynı zamanda kesin olup olmadığına ve iyileştirmeye tabi olup olmadığına ilişkindi. 1930 Eylül'ünde, Kurt Gödel'in ilk eksiklik teoremini açıkladığı tarihi matematiksel Königsberg Kongresi 'ne son derece olumsuz bir cevap geldi: olağan aksiyomatik sistemler eksik kaldı, her gerçeği ispatlayamazlar. kendi dillerinde anlaşılır olan. Bu sonuç, zamanın matematikçilerinin çoğunu şaşırtmak için yeterince yenilikçidi.</s>