जवाबों:
बेंजामिन वर्नर ने अपने पेपर सेट्स इन टाइप्स, टाइप्स इन सेट्स में, बहुत से दुर्गम और इंडक्टिव क्रिएटिव्स के कैलकुलस के साथ ZFC की पारस्परिक व्याख्या साबित की है ।
इसका मतलब है, मोटे तौर पर, कि किसी भी फ़ंक्शन को ZFC में कुल मिलाकर दिखाया जा सकता है जिसमें बहुत से दुर्गम कोक में परिभाषित किया जा सकता है। इसलिए जब तक आप बड़े कार्डिनल्स पर काम करने वाले एक सेट सिद्धांतकार नहीं हैं, यह संभावना नहीं है कि आपके द्वारा कभी भी वांछित कोई भी कम्प्यूटेशनल फ़ंक्शन कोक में परिभाषित नहीं किया जा सकता है।