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