लेकिन वॉन न्यूमैन, जिन्होंने कांग्रेस में भाग लिया था, एक तात्कालिक विचारक के रूप में अपनी प्रसिद्धि की पुष्टि की, और एक महीने से कम समय में अपने प्रमेय का एक दिलचस्प परिणाम खुद को गाडेल करने में सक्षम हो गया: अर्थात् सामान्य axiomatic सिस्टम उनके प्रदर्शित करने में असमर्थ हैं खुद की स्थिरता । हालांकि, गाडेल ने पहले ही इस परिणाम की खोज की थी, अब अपने द्वितीय अधूरापन प्रमेय के रूप में जाना जाता है और वॉन न्यूमैन को अपने लेख का एक youthdevelopment भेजा है जिसमें दोनों अधूरापन प्रमेय हैं । वॉन न्यूमैन ने अपने अगले पत्र में गाडेल की प्राथमिकता स्वीकार की । उन्होंने हर बात के लिए व्यक्तिगत प्राथमिकता का दावा करने की अमेरिकी प्रणाली को कभी नहीं सोचा ।
अधूरापन के सिद्धांत को प्रतिपादित करने पर, नए godel सिद्धांत का नाम क्या था?
द्वितीय अधूरापन प्रमेय