इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें दूसरा अपूर्णता प्रमेय पूरी तरह से सुसंगतता प्रमाणों को बाहर नहीं करता है।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "दूसरा अपूर्णता प्रमेय पूरी तरह से सुसंगतता प्रमाणों को खारिज नहीं करता है, केवल सुसंगतता प्रमाणों को औपचारिक रूप दिया जा सकता है जो प्रणाली में सुसंगत साबित होता है। "