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