Derrière les numéros ? Cliquez sur l'un des éléments du graphe affiché : sa définition ou son énoncé apparaît en bas de l'écran.

                          Si nécessaire, zoomez sur la fenêtre du graphe ( pavés  +  et  - , ou souris : molette avant/arrière),
                                                 ou déplacez le graphe à l’intérieur de cette fenêtre (souris : clic gauche enfoncé, mouvement)

 

Et finalement, cliquez sur le pavé  « Afficher » !

.... et la profondeur du graphe : le rang auquel le graphe s’arrête        ("infinie" : jusqu'à la base de l'axiomatique !)

Choisissez les éléments à afficher...

 

Cliquez sur « Tous »   pour afficher l’ensemble des graphes, ou sur un théorème pour afficher son graphe :  

         (si "Tous" + affichage complet (5 cases cochées) + "Profondeur infinie",
          compter une douzaine de secondes avant l'affichage : énormément de calculs !)