Would an advanced civilization be using a set of axioms, definition, formal system in mathematics that are the same as ours or could it be very different/better than ours that would solve many unsolved problems more easily?
valid question