For what reason is the the square root of negative one used to define an additional axiom rather than just an arbitrary identifier?