## Relativity in Metamathematics

Relativity in Metamathematics

There are many possible foliations of the entailment graph

Out[]=

In[]:=

Graph[ResourceFunction["MultiwaySystem"][{"A"->"BBB","BB"->"A"},"A",10,"StatesGraph"],AspectRatio->1.5]

Out[]=

In[]:=

ResourceFunction["MultiwaySystem"][{"A"->"BBB","BB"->"A"},"A",10,"BranchialGraph"]

Out[]=

In[]:=

ResourceFunction["MultiwaySystem"][{"A"->"BBB","BB"->"A"},"A",10,"AllStatesBranchialGraph"]

Out[]=

In[]:=

Table[ResourceFunction["MultiwaySystem"][{"A"->"BBB","BB"->"A"},"A",t,"BranchialGraph"],{t,9}]

Out[]=

,

,

,

,

,

,

,

,

In[]:=

branchialGraph[ResourceFunction["MultiwaySystem"][{"A"->"BBB","BB"->"A"},"A",10,"StatesGraph"]]

Out[]=

In this case the states are determined by the position of the second A. How can we characterize the foliation in this case?

#### A sufficiently thickened branchial graph will be the same if there is confluence

A sufficiently thickened branchial graph will be the same if there is confluence

#### Entailment fabric

Entailment fabric

### Flat reference frame

Flat reference frame

#### [“polymath”] Every theorem is advanced by an entailment cone at once

[“polymath”] Every theorem is advanced by an entailment cone at once