Kitap; Mantık, Kümeler, ispat Tekniklerinin Detaylı incelenmesi (isteğe Bağlı), Bağıntılar, Fonksiyonlar, Sayıların Yapılandırılması, Kümelerin Kardinaliteleri ve Kardinal Aritmetik bölümlerinden oluşmaktadır.