> For example, something that seems entirely fundamental to us might require a very complicated proof in the alien system. True, but there is a bound on how mu

> For example, something that seems entirely fundamental to us might require a very complicated proof in the alien system. True, but there is a bound on how much complexity of a concept can differ across axiom systems. Complexity (up to an additive constant) is an objective fact independent of any particular axiom system. https://en.wikipedia.org/wiki/Kolmogorov_complexity#Invariance_theorem https://en.wikipedia.org/wiki/Kolmogorov_complexity#Invarian...