इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें सियरपिनस्की सेट का अस्तित्व ZFC के स्वयंसिद्धों से स्वतंत्र है।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "सिर्पिंस्की समुच्चय का अस्तित्व ZFC के स्वयंसिद्धों से स्वतंत्र हैः यदि निरंतरता परिकल्पना सत्य है तो वे मौजूद हैं, और यदि मार्टिन के स्वयंसिद्ध हैं तो वे मौजूद नहीं हैं।