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