इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें इस मॉडल को एनबीजी के एक मॉडल में विस्तारित किया जा सकता है जिसमें विनिर्देश के स्वयंसिद्ध द्वारा प्रतिस्थापन के स्वयंसिद्ध को प्रतिस्थापित किया जाता है।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "इस मॉडल को एनबीजी के एक मॉडल में विस्तारित किया जा सकता है जिसमें विनिर्देश के स्वयंसिद्ध द्वारा प्रतिस्थापन के स्वयंसिद्ध को प्रतिस्थापित किया गया हैः विस्तारित मॉडल के वर्गों को एल ω ω +1 के सेट होने दें। "