You are using a browser not supported by the Wolfram Cloud
Supported browsers include recent versions of Chrome, Edge, Firefox and Safari.
I understand and wish to continue anyway »
WOLFRAM NOTEBOOK
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[]=
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||