مبرهنة كانتور

مبرهنة كانتور هي مبرهنة رياضية في مجال نظرية المجموعات تنسب للرياضياتي جورج كانتور.

بين كانتور أن كل مجموعة E, رئيسي ل E دائما أصغر قطعا من رئيسي  مجموعة أجزاءE.

عندما تكون E مجموعة منتهية، النتيجة منطقية لأن رئيسي E هو عدد العناصر في E و، إذا كان E يضم n عنصرا، نبين أن مجموعة أجزاء E يضم  عنصرا. أي أنه يحقق، لكل عدد طبيعي n, .

مراجع 

أعداد أصلية
استحداثات 1891
العلم في 1891
نظرية المجموعات
جورج كانتور