> In particular, we humans still hotly debate which math is the "right" math. Is the axiom of choice "true"? Does it make sense to say that it has a truth value

> In particular, we humans still hotly debate which math is the "right" math. Is the axiom of choice "true"? Does it make sense to say that it has a truth value? Is such a truth value amenable to human discovery? Does PG know the answers to all of these questions? If we did encounter intelligent (and peaceful!) beings out in the universe, there would be a set theory gold rush as people race to put out papers that such-and-such alien axiom implies choice, diamond principle, etc., or the other way around. Every field of math would have such a gold rush really, on both sides, as we discover similarities and differences in techniques and formulations. And I bet famous unsolved problems on both sides would get solutions if not outright provided by the other species, then at least using novel tools from the other species. I can't imagine a more exciting time for math as a whole than first contact.