المجموعة الشاملة

المجموعة الشاملة في نظرية المجموعات هي المجموعة التي تحوي كل الكائنات بما فيها نفسها. إن مفهوم المجموعة الشاملة كما يصاغ عادة في نظرية المجموعات يقودنا إلى مفارقة (مفارقة راسل) وبناء على ذلك فهي ممنوعة. ولكن بعض متغيرات نظرية المجموعات غير القياسة تحوي المجموعة الشاملة.

أسباب الفقدان

إن نظرية مجموعات تسيرميلو-فرنكل (إرنست تسيرميلو وابراهم فرنكل) ونظريات المجموعات التعلقة بها المبنية على فكرة قالب:وإو يمنعون وجود المجموعة الشاملة. إن وجودها يسبب مفارقات مما يجعل النظرية متناقضة.

مفارقة راسل

إن مفارقة راسل تمنع وجود المجموعة الشاملة في نظرية مجموعات تسيرميلو-فرنكل ونظريات المجموعات الأخرى التي تتضمن بديهية مشروع التخصيص لـ إرنست تسيرميلو. هذه البديهية توضح أنه لأي علاقة رياضية $\phi (x)$ ولأي مجموعة قالب:Mvar يوجد مجموعة أخرى بحيث:

$\{x\in A\mid \phi (x)\}$

وتحوي على هذه العناصر قالب:Mvar من قالب:Mvar وتحقق $\phi$. إذا وجدت مجموعة شاملة  قالب:Mvar يمكن تطبيق بديهية مشروع التخصيص عليها فستوجد أيضا مجموعة أخرى $\{x\in V\mid x\in ̸x\}$ , مجموعة كل المجموعات التي تتضمن نفسها. كما لاحظ بيرتراند راسل أن هذه المجموعة متناقضة. فإذا تضمنت نفسها لا يتوجب عليها أن تتضمن نفسها والعكس صحيح ولهذا السبب لا يمكن أن توجد.

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

الصعوبة الأخرى في المجموعة الشاملة تكمن في مجموعة قوة مجموعة كل المجموعات. لأن مجموعة القوة هذه هي مجموعة مجموعات وإنها بشكل تلقائي ستكون مجموعة جزئية لمجموعة كل المجموعات لو افترضنا أنهما موجودتان معاً. هذا تضارب مع مبرهنة كانتور التي تقول أن مجموعة قوة أيّة مجموعة (سواء أكانت منتهية أم غير منتهية) دائما لها أصلية كردينالية أعلى من المجموعة نفسها.

نظريات الشمولية

بالإمكان تجنب الصعوبات المرتبطة بالمجموعة الشاملة إما باستخدام شكل مختلف من نظرية المجموعات بحيث تكون قالب:وإو محدودة بطريقة ما، أو باستخدام كائنات عامة(شمولية) لا تعتبر مجموعات.

الإدراك المقيد

هناك نظريات مجموعات تعرف بأنها تناسقية بحيث تكون المجموعة الشاملة قالب:Mvar موجودة وتكون( $V\in V$ ) صحيحة. في هذه النظريات بديهية الإدراك ( قالب:وإو ) لـ إرنست تسيرميلو لا تطبق بالعموم. وبديهية الإدراك لـ نظرية المجموعات المبسطة تكون مقيدة. إن نظرية مجموعات تحتوي مجموعة شمولية تكون بالضرورة قالب:وإو .

كائنات شمولية ليست مجموعات

يبدو أن فكرة المجموعة الشاملة مرغوبة بشكل حدسي في نظرية مجموعات تسيرميلو-فرنكل خاصة لأن كل صيغ هذه النظرية تسمح باستخدام محدد الكمية على كل المجموعات (قالب:وإو)