हमने यह निर्धारित नहीं किया है कि क्या प्रत्येक परिमित गणितीय प्रमाण प्रणाली अंततः एक बयान तक पहुंचनी चाहिए, यह न तो साबित हो सकता है और न ही भंग हो सकता है, इससे कोई फर्क नहीं पड़ता कि यह कैसे बनाया गया है।
Open
WS01339
Global / Global / Unspecified
गोडेल के प्रमेय कई प्रसिद्ध प्रणालियों के लिए इस बात की पुष्टि करते हैं कि क्या हर अवधारणात्मक परिमित सबूत प्रणाली अनिवार्य रूप से इस सीमा का सामना करती है, यह एक अनसुलझ तार्किक सवाल है। यह औपचारिक प्रणालियों की प्रकृति में मूलभूत अनुसंधान को आकार देने के लिए जारी है।
Team Humans Club. (2026). हमने यह निर्धारित नहीं किया है कि क्या प्रत्येक परिमित गणितीय प्रमाण प्रणाली अंततः एक बयान तक पहुंचनी चाहिए, यह न तो साबित हो सकता है और न ही भंग हो सकता है, इससे कोई फर्क नहीं पड़ता कि यह कैसे बनाया गया है।. World Solve (WS01339). https://www.worldsolve.org/?view=problem&id=1339