Human-level theorem:

decomposes into XXXX raw axioms <exponential factor>
to combinators: XXXX [large factor]

Mathematician might be aware of thousands of theorems [and know many others exist]

In physics, we are aware of a certain region of space (+ branchial space)

In math we have a coarse-graining / abstraction of lots of emes; similarly physics

Entailment cone

Mathematicians pick out particular theorems [ which they coarse grain removing ornamentation ]
Physical observers coarse grain quantum states + spacetime positions
“This theorem” : really a cloud
“This electron” : how many distinct states?