Suppose I and my twin embark on a project. I create a mathematical system, from scratch, based on the ZFC axioms. My twin, having read the HoTT book, decides to ground his system there. Does there exist a measure to gauge how related our two systems are? How much research has been put into comparing competing formal systems, in general?
2026-03-29 03:23:11.1774754591
Is there a way to quantify distance between formal systems?
45 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There is an entire branch of mathematics dedicated to that. See http://en.wikipedia.org/wiki/Ordinal_analysis