نظرية المجموعات المبسطة
من ويكيبيديا، الموسوعة encyclopedia
نَظَرِيَةُ الْمَجْمُوعَاتِ الْمُبَسَّطَةِ هي واحدة من النظريات المتعددة للمجموعات التي تُستخدم في مناقشة أسس الرياضيات.[1] يدعم المحتوى غير الرسمي لهذه النظرية كل من أوجه المجموعات الرياضية المألوفة في الرياضيات المتقطعة (على سبيل المثال مخططات فيين و الاستنتاج الرمزي حول الجبر المنطقي)، والاستخدام اليومي لمفاهيم نظرية المجموعات في معظم الرياضيات المعاصرة.
وللمجموعات أهمية كبرى في الرياضيات، وفي الواقع يتم تعريف معظم الكيانات الرياضية، في المعالجات الرسمية الحديثة، (الأعداد، والعلاقات، والدوال الرياضية، إلخ.) من حيث المجموعات. ويمكن النظر إلى نظرية المجموعات المبسطة باعتبارها وسيلة نحو معالجات أكثر رسمية وكافية لأغراض متعددة.