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 des langues formelles, y compris les alphabets, les mots et les langues, ainsi que des opérations comme la concaténation et l'inversion.
Explore les actions de groupe sur des ensembles à travers des homomorphismes et des produits cartésiens, illustrant leurs propriétés et définitions équivalentes.
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.
