Couvre la classification des variétés p-adiques compactes en utilisant la formule C.o.V et explore les variétés algébriques lisses et le lemme de Hensel.
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.
