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