Légende

    Familles de l'édifice

    • Socle
    • Ordre
    • Algèbre
    • Topologie
    • Nombres et arithmétique
    • Analyse
    • Géométrie
    • Théorie mixte (couleurs de ses sources)

    Natures, dans les graphes intérieurs

    • Définition
    • Théorème
    • Proposition, lemme
    • Venu du niveau supérieur

    Signes

    • Coin carré : le nœud contient un graphe ; un clic l'ouvre.
    • ⋆Fait intervenir l'axiome du choix ou l'une de ses formes faibles.
    • termeSurvoler pour lire la définition, cliquer pour l'ouvrir.