Yes, but the point I think is that the rules of symbolic reasoning are not like the rules of physics; formal systems have an arbitrary shape, so exploring the u

Yes, but the point I think is that the rules of symbolic reasoning are not like the rules of physics; formal systems have an arbitrary shape, so exploring the universe from a different starting point could yield a completely different method of representing it and processing information about it. And such methods needs not be compatible with our understanding of math.