इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें उदाहरण के लिए, Peano अंकगणित के ऐसे मॉडल हैं जिनमें गुडस्टीन का प्रमेय विफल हो जाता है.
बेशक, वाक्य का एक अधिक जटिल संस्करण है "उदाहरण के लिए, पेनो अंकगणित के ऐसे मॉडल हैं जिनमें गुडस्टीन का प्रमेय विफल रहता है; क्योंकि यह ZFC में साबित किया जा सकता है कि गुडस्टीन का प्रमेय मानक मॉडल में मान्य है, एक मॉडल जहां गुडस्टीन का प्रमेय विफल होता है, गैर-मानक होना चाहिए। "