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