How objective is our structure of mathematics regarding formulas, methods, etc?
That is, if some alien civilization of approximately equal intelligence to us developed their own mathematics framework completely independently of us, how similar would it be to ours?
When we meet ayys, will they have completely different math than us?
Maybe they can super easily solve P=NP but are struggling like fuck to solve something that we solved back in the 1500s?