>they do not invent the truths those mathematics represent

I got the idea somewhere that because Principia Mathematica was doomed to failure, that means any two "islands" of math are not necessarily related to each other.

So I would think that hypothetical aliens in different circumstances could in fact have math that didn't intersect with ours at all.

If they did, wouldn't it be possible to build one system up from foundations?