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

सवाल: 1930 में स्वयंसिद्ध प्रणाली के बारे में गोडेल का बयान कहाँ था?

उत्तर: कोनिग्सबर्ग की कांग्रेस