Lazi

Noms des mathématiques

  • La famille des fondations : Lazi
  • Un groupe de mathématiques ou une mathématique : Lazi.n1.n2. ... . nk où ni est un entier naturel.
  • Lazi.n1.n2. ... . nk.* = l'ensemble des mathématiques commençant par "Lazi.n1.n2. ... . nk."
  • Lazi.n1.n2. ... . nk.alias où "alias" est un nom sans chiffre ni espace : un alias pour une mathématique dans Lazi.n1.n2. ... . nk.* . 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).