הקורס תורת הקבוצות, כפי שמעיד שמו, עוסק בקבוצות של עצמים שונים. בנושא זה החל גיאורג קנטור לטפל במחצית השנייה של המאה ה-19 , מאז כוננה לה תורת הקבוצות בהדרגה מעמד חשוב בתשתית של רוב תחומי המתמטיקה והביאה לניסוח מחודש של תחומים רבים ולביסוס התיאורטי - כל זאת בלי לגרוע מחשיבותה כענף מתמטי עצמאי.