Well, an Axiom (a given) is always true. The question is if under the mathematical system they have developed, are they assuming that the axiom of choice is really true? Depending on what axioms you hold to be true to begin with, axioms that are held to be true in different mathematicaly systems need not hold.

Matt Fahrenbacher