এটি মোটামুটি সুপরিচিত একটি সত্য যে মার্টিন-লয়েফ টাইপের তত্ত্বের একটি বৈষম্য (উদাহরণস্বরূপ, ) থেকে একটি বৈপরীত্য প্রাপ্ত জন্য একটি মহাবিশ্বের প্রয়োজন।
প্রমাণ মোটামুটি সহজবোধ্য - বিশ্বজগতের অনুপস্থিতিতে, আমরা কোনো নির্ভরশীল ধরণ থেকে নির্ভরতা নিশ্চিহ্ন একটি সহজ টাইপ তার আকৃতি, এবং যাতে প্রতিপাদন পেতে পারেন বোঝা আমরা প্রমাণ করতে পারেন একটি স্বেচ্ছাচারী পরমাণু জন্য , যা অবশ্যই সম্ভব নয়।
তবে, কে এটি প্রথম প্রমাণ করেছে তা আমি খুঁজে পাচ্ছি না! কারও কি রেফারেন্স আছে?
কোকুন্ডের "এ টাইপ থিওরিতে ইন নিউ প্যারাডক্স" (৯৯) ন্যূনতম উচ্চ-অর্ডার যুক্তির সত্য মূল্যবান শব্দার্থকে বর্ণনা করে এবং মনে হয় যে এই ব্যাখ্যাটি আগে জানা ছিল। আমি রাসেলের টাইপ থিওরির জন্যও এমন মডেলের একটি উল্লেখ মনে করতে পেরেছি তবে আমি এটি খুঁজে পাচ্ছি না ...
—
কোডি