উত্তর:
বেঞ্জামিন ভার্নার জেডএফসির পারস্পরিক ব্যাখ্যাযোগ্যতার প্রমাণ দিয়ে গেছেন প্রচুর দুর্গম দুর্লভ এবং ক্যালকুলাস অফ ইন্ডুকটিভ কনস্ট্রাকশনস, তার পেপারে টাইপস টাইপস, টাইপস ইন টাইপস ।
এর অর্থ, মোটামুটিভাবে, যে কোনও ক্রিয়াকলাপ যা জেডএফসি-তে মোট হিসাবে অনেকগুলি দুর্গম অ্যাক্সেসযোগ্য রয়েছে তাকে মোট হিসাবে দেখানো যেতে পারে তাকে কোকায় সংজ্ঞায়িত করা যেতে পারে। সুতরাং আপনি যদি বৃহত কার্ডিনালগুলিতে কাজ করে না এমন সেট তাত্ত্বিক না হন তবে আপনি সম্ভবত যে কোনও গণনীয় ফাংশন কোক হিসাবে সংজ্ঞায়িত করতে পারবেন তা অসম্ভাব্য।