Couvre les bases des nombres réels et de la théorie des ensembles, y compris les sous-ensembles, les intersections, les syndicats et les opérations des ensembles.
Couvre les bases de la théorie des ensembles, y compris les ensembles, les éléments, les opérations, les ensembles vides et les ensembles de définition basés sur les propriétés.
Couvre la structure logique des principes équivalents au choix et à l'induction de barre, en se concentrant sur le choix dépendant généralisé et ses implications en mathématiques.
Couvre le calcul des nerfs et la réalisation géométrique dans des ensembles simpliciaux, ainsi que des foncteurs entrant et sortant de la catégorie des ensembles simpliciaux.