I think alien analogs to mathematics are unlikely to match ours. Almost certainly not, but they're probably isomorphic. And either way if we show them our axio

I think alien analogs to mathematics are unlikely to match ours. Almost certainly not, but they're probably isomorphic. And either way if we show them our axioms they will be able to validate our mathematics and vice versa. The truths of mathematics are of the form 'if A then B'. Even if they don't start at A or even accept A as true, but will should still get B if they assume A.