जइसे, इ गोडेल के अपूर्णता प्रमेय के घर बा, जेकर (अनौपचारिक रूप से) अर्थ बा कि कौनो भी प्रभावी औपचारिक प्रणाली जेमे मूल अंकगणित बा, अगर सार्थक (जेकर अर्थ बा कि सब प्रमेय जौन सिद्ध कइल जा सकेला सत्य बा ) बा त अनिवार्य रूप से अपूर्ण बा (जेकर अर्थ बा कि सत्य प्रमेय उ परनाली में सिद्ध ना कइल जा सकेला).