On the map/​territory distinction for math, I feel like a formal system instantiates a territory, operating on the system maps that territory, and correspondences between the system and things outside it are map-like.
On the map/​territory distinction for math, I feel like a formal system instantiates a territory, operating on the system maps that territory, and correspondences between the system and things outside it are map-like.