![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/e/e7/Georg_Cantor2.jpg/640px-Georg_Cantor2.jpg&w=640&q=50)
مبرهنة كانتور
من ويكيبيديا، الموسوعة encyclopedia
مبرهنة كانتور هي مبرهنة رياضية في مجال نظرية المجموعات تنسب للرياضياتي جورج كانتور.[1][2][3]
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/e/e7/Georg_Cantor2.jpg/320px-Georg_Cantor2.jpg)
بين كانتور أن كل مجموعة E, رئيسي ل E دائما أصغر قطعا من رئيسي مجموعة أجزاءE.
عندما تكون E مجموعة منتهية، النتيجة منطقية لأن رئيسي E هو عدد العناصر في E و، إذا كان E يضم n عنصرا، نبين أن مجموعة أجزاء E يضم عنصرا. أي أنه يحقق، لكل عدد طبيعي n,
.