इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें उनका प्राकृतिक कटौती कैलकुलस भी विश्लेषणात्मक प्रमाण की धारणा का समर्थन करता है, जैसा कि डैग प्रविट्ज़ द्वारा दिखाया गया है।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "उनका प्राकृतिक कटौती कैलकुलस भी विश्लेषणात्मक प्रमाण की एक धारणा का समर्थन करता है, जैसा कि डैग प्राविट्ज़ द्वारा दिखाया गया है; परिभाषा थोड़ी अधिक जटिल है, हम कहते हैं कि विश्लेषणात्मक प्रमाण सामान्य रूप हैं, जो शब्द पुनर्लेखन में सामान्य रूप की धारणा से संबंधित हैं। "