वॉन न्यूमैन के इस योगदान के साथ, सेट के सिद्धांत की axiomatic प्रणाली पूरी तरह से संतोषजनक हो गई, और अगला सवाल यह था कि यह भी निश्चित था, और सुधार के विषय में नहीं । ऐतिहासिक गणितीय कांग्रेस ऑफ़ पुल में सितंबर 1930 में एक दृढ़ता से नकारात्मक जवाब आया । जिसमें कर्ट गाडेल ने अधूरापन के अपने पहले प्रमेय की घोषणा की: सामान्य axiomatic सिस्टम अपूर्ण हैं, इस भावना में कि वे हर सच को साबित नहीं कर सकते हैं जो उनकी भाषा में expressible । यह परिणाम पर्याप्त रूप से अभिनव था क्योंकि समय के अधिकांश गणितज्ञों को लज्जित करने के लिए ।
1930 में बनी axiomatic प्रणाली के बारे में godel का बयान कहाँ था?
कांग्रेस ऑफ़ पुल