কক, আগদা এবং ইদ্রিসের একটি অসীম প্রকারের স্তরক্রম রয়েছে (প্রকার 1: প্রকার 2: প্রকার 3: ...)। তবে এটি কেন λ সি এর পরিবর্তে, ল্যাম্বডা কিউবতে যে সিস্টেমটি নির্মাণের ক্যালকুলাসের নিকটতম, যেখানে কেবল দুটি ধরণের, এবং , এবং এই নিয়মগুলি রয়েছে?
এটি সহজ বলে মনে হচ্ছে। এই সিস্টেমের কি গুরুত্বপূর্ণ সীমাবদ্ধতা রয়েছে?