3
लीवर टेबल की गणना और एक एल्गोरिथ्म जिसे ZFC में समाप्त करने के लिए नहीं जाना जाता है
लेवर टेबल प्रोग्राम जो गणित के मानक अक्षीय प्रणाली में समाप्त करने के लिए दिखाया गया है नहीं किया गया है के उदाहरण प्रदान ZFC समाप्त जब एक बहुत बड़ी कार्डिनल सूक्तियों मान लिया गया है, लेकिन जो। परिचय शास्त्रीय लेवर टेबल सेट अंतर्निहित के साथ अद्वितीय परिमित अल्जेब्रास हैं …