Kısmi sıralı kümeler. Denklik bağıntıları. İyi-sıralı kümeler. Kümeler kuramının temel belitleri: Genişletilebilirlik beliti, çift oluşturma beliti, sonsuzluk beliti, kuvvet kümesi beliti, yer değiştirme beliti. Geçişli kümeler. Düzgünlük. Ordinal sayılar. Seçim beliti. Matematiğin inşası. Seçim belitinin dört biçimi. Kardinalite. Ordinal aritmetik. Kardinal aritmetik. Kofinalite.