2
प्रकार सिद्धांत में परिमित समुच्चय के सिद्धांत को औपचारिक बनाना
अधिकांश प्रमाण सहायकों के पास "परिमित सेट" की अवधारणा का एक औपचारिककरण है। ये औपचारिकताएं, हालांकि, बेतहाशा भिन्न होती हैं (हालांकि एक उम्मीद है कि वे सभी अनिवार्य रूप से समकक्ष हैं!)। इस बिंदु पर मुझे जो समझ में नहीं आता है वह है डिज़ाइन स्पेस शामिल है, और प्रत्येक …