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