Noms des mathématiques

• La famille des fondations : Lazi

• Un groupe de mathématiques ou une mathématique : Lazi.n₁.n₂. ... . n_k où n_i est un entier naturel.

• Lazi.n₁.n₂. ... . n_k.* = l'ensemble des mathématiques commençant par "Lazi.n₁.n₂. ... . n_k."

• Lazi.n₁.n₂. ... . n_k.alias où "alias" est un nom sans chiffre ni espace : un alias pour une mathématique dans Lazi.n₁.n₂. ... . n_k.* . Le "_" n'est pas autorisé car dans le code source il remplace le "." (par exemple "lazi_1_4" à la place de "lazi.1.4")

• La mathématique la plus avancée d'un groupe : le même nom que le groupe

Exemples

Lazi.foundation peut être l'alias de Lazi.1.4 , c'est la première mathématique extensible qui n'a pas besoin d'ajout d'axiomes.

Lazi.1 : La mathématique la plus avancée dans la famille Lazi.1.* (en l'occurence ce sera Lazi.1.4).