But the point is, if whatever set of axioms we choose can only "approximate" the possible "truths" out there (since whichever set you choose, certain things stay undecidable), how can they have special status? Sounds a lot like conveniently choosing set of axioms to me. Convenient, or "immediately evident" as for example with "If A => B and B => C, then A=C". Up to the point where ordering no longer makes sense because you're outside time.
So, whatever you guys elevate to this eternally existing set of mathematical truths here, is in reality a conveniently chosen set. Nothing special really, other than that humans living in spacetime find them inherently appealing. Something "living" outside of spacetime I would think finds that "A=>B=>C" thing far less self-evident.
rumborak