The overarching point still stands: our formal systems are just models built to describe the patterns we observe. In that sense, math “just is.” The fact that s

The overarching point still stands: our formal systems are just models built to describe the patterns we observe. In that sense, math “just is.” The fact that some models aren’t compatible with others doesn’t undermine that—it just shows they’re incomplete or context-dependent views into a larger structure.