نظرية المجموعات
نظرية المجموعات المبسطة هي واحدة من النظريات المتعددة للمجموعات التي تُستخدم في مناقشة أسس الرياضيات. يدعم المحتوى غير الرسمي لهذه النظرية - "نظرية المجموعات المبسطة" - كل من أوجه المجموعات الرياضية المألوفة في الرياضيات المتقطعة (على سبيل المثال مخططات فيين والاستنتاج الرمزي حول جبر المنطقي)، والاستخدام اليومي لمفاهيم نظرية المجموعات في معظم الرياضيات المعاصرة.