حجة كانتور القطرية
برهان رياضي في نظرية المجموعات / من ويكيبيديا، الموسوعة encyclopedia
حجة كانتور القُطْرية هي برهان رياضي في نظرية المجموعات نشره جورج كانتور عام 1891 لبرهنة وجود مجموعات غير منتهية لا يمكن مقابلة عناصرها مع عناصر مجموعة الأعداد الطبيعية الغير منتهية.[2][3]:20–[4] تُعرف هذه المجموعات الآن بالمجموعات غير العدودة، وتساعدنا نظرية كانتور للأعداد الأصلية في التعامل مع حجم هذه المجموعات الغير منتهية.
لم تكن الحجة القُطرية هي أول برهان لكانتور على استحالة حصر الأعداد الحقيقية، بل سبقتها مقالة نشرها عام 1874.[5][6] ولكنه في هذا البرهان أسس لتقنية عامة أُستخدِمَت فيما بعد في مجموعة كبيرة من البراهين،[7] بما في ذلك أول مبرهنات عدم الاكتمال لجودل[3] وحل تورينج لمسألة القرار. أحيانا تكون الحجج القطرية مصدرًا للتناقضات مثل مفارقة راسل[8][9] ومفارقة ريتشارد.[3] :27