উত্তর:
এটি একটি মুক্ত গবেষণা প্রশ্ন question আমাদের জ্ঞান বর্তমান অবস্থা জেনে এ তন্ন তন্ন সূচিত করা হবে কিংবা । এবং, বিপরীতে, বা vs প্রশ্ন সম্পর্কে কিছুই বোঝায় না । (তবে এটি সম্ভব যে vs of এর প্রমাণ আমাদের vs বা তদ্বিপরীত সম্পর্কে কিছু বলবে ))
আমরা জানি , যেখানে সমতা থেকে অনুসরণ করে Savitch এর উপপাদ্য । স্পেস হায়ারার্কি উপপাদ্যের সংস্করণটি বলে যে সুতরাং আমরা জানি যে অন্তত সেট অন্তর্ভুক্তগুলির মধ্যে একটি অবশ্যই কঠোর হতে হবে। আমরা ধরণ মনে করি তারা সব কঠোর করছি কিন্তু আমাদের বর্তমান জ্ঞানের যতদিন এটা মধ্যে অন্তত একটি অন্তর্ভুক্ত তাদের কোন উপসেট বাতিল নয়, এবং ।