In[]:=
g=SimpleGraph[Catenate@Map[ax|->Catenate[Thread/@{AxiomaticTheory[ax,"Subtheories"]->ax,AxiomaticTheory[ax,"EquivalentTheories"]ax,ax->AxiomaticTheory[ax,"Supertheories"]}],AxiomaticTheory[]],VertexLabelsv_:>Placed[v,Tooltip]]
Out[]=
In[]:=
HighlightGraph[g,EdgeList[g,_UndirectedEdge]]
Out[]=
In[]:=
Dataset@AssociationMap[ax|->Column/@AssociationMap[AxiomaticTheory[ax,#]&,{"Subtheories","EquivalentTheories","Supertheories"}],AxiomaticTheory[]]
Out[]=
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
