Ύλη

-- Βασικές Πράξεις Συνόλων

-- Ισοπληθικότητα

-- Παράδοξο του Russel, Αξιωματική Θεμελίωση (ZFC)

-- Διατεταγμένα ζεύγη, Σχέσεις, Συναρτήσεις

-- Φυσικοί Αριθμοί: Ύπαρξη, Μοναδικότητα, Θεμελιώδεις Ιδιότητες - Επαγωγή και Αναδρομή

-- Μερικά διατεταγμένοι χώροι - Θεωρήματα Σταθερού Σημείου

-- Καλά διατεταγμένοι χώροι: Θεμελιώδεις Ιδιότητες - Υπερπεπερασμένη Επαγωγή και Αναδρομή

-- Αξίωμα Επιλογής και Ισοδύναμες Προτάσεις

-- Βασική Πληθική Αριθμητική

-- Αξίωμα Αντικατάστασης, Διατακτικοί Αριθμοί: Βασικές Προτάσεις