Coin carré : le nœud contient un graphe ; un clic l'ouvre.
⋆Sur une fiche, le signe indique qu'elle fait intervenir l'axiome du choix ou l'une de ses formes faibles ; sur une théorie du graphe principal, il indique seulement que l'un de ses théorèmes centraux ne se démontre pas dans ZF, parce qu'il équivaut à une forme usuelle du choix ou en dépend de façon essentielle, si bien qu'une théorie sans ⋆ peut contenir des fiches ⋆, que la fiche de la théorie énumère.
†Le résultat n'est pas entièrement démontré à cet endroit : voir l'encadré de la fiche et l'état de l'édifice.
termeSurvoler pour lire la définition, cliquer pour l'ouvrir.
« Fondements » et « Portée », au bas d'une fiche : ce dont elle dépend, ou ce qui dépend d'elle, reste vif, et le reste s'estompe. Un second clic, ou Échap, efface.