<s>[INST]1930'da Von Neuman'ın kümeler teorisinin aksiyomatik sisteme yaklaşımına şiddetle olumsuz bir cevap verdi?[/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ığı Königsberg tarihi matematik kongresine kuvvetli bir olumsuz cevap geldi: olağan aksiyomatik sistemler eksik kaldı, her gerçeği ispatlayamazlardı kendi dillerinde anlaşılır olan. Bu sonuç, zamanın matematikçilerinin çoğunu şaşırtmak için yeterince yenilikçidi.</s>