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