I think the answer is kind of obvious if you understand the foundations of mathematics. Any alien that was smart enough to manipulate written symbols according to rules would agree that our induction rules applied to our axioms would lead to our theorems, because proofs are a purely symbolic game that even a computer can do. Aliens might not agree on the axioms or induction rules except by pure coincidence, because even within our own species there is disagreement over which axioms (choice for example) or induction rules (the excluded middle in intuitive mathematics for example) are self-evident.

The law of the excluded middle might seem obvious to you, but not to these guys: https://plus.maths.org/content/intuitionism