जैसे, ई गोडेल के अपूर्णता प्रमेय के घर हई, जे (अनौपचारिक रूप से) के अर्थ हई कि कोनो प्रभावी औपचारिक प्रणाली जोनमे मूल अंकगणित होई हई, अगर ध्वनि (जेकर अर्थ हई कि सभे प्रमेय जे सिद्ध कैल जा सकई छई), अनिवार्य रूप से अपूर्ण हई (जेकर अर्थ हई कि सच्चा प्रमेय हई जे ओई प्रणाली में सिद्ध ना कैल जा सकई छलई)।