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