Explore les définitions invariantes dans les ensembles, les groupes et les automorphismes, y compris les groupes p-divisibles et les groupes abeliens libres.
Couvre les pouvoirs, les racines, les règles de calcul, les fonctions logarithmiques, les fonctions réciproques, les ensembles et les notations de base.
Explore les ensembles définis de manière récursive, les nombres naturels, les chaînes, les fonctions, la concaténation de chaînes et les formules bien formées.
