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