Algèbre

Corps finis - Présentation des résultats fondamentaux concernant les corps finis: existence, unicité, théorème de Wedderburn et théorème de l'élément primitif.
Construction de l'ensemble des entiers naturels - Axiomatique ordinale ou axiomes de Peano : suivant la présentation adoptée, le principe de récurrence est un axiome ou un résultat.
Ensembles algébriques affines - Un ensemble algébrique affine est une partie d'un espace affine de dimension finie définie à l'aide d'équations polynomiales.