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