Both AC and its negation can be made sense of in set theory. One or the other can be considered more interesting, or more relevant in the context of a particular problem, but given the extensive experience with mathematics of foundations we can safely study the properties of either. The question of which way "lies the truth" seems confused, since the alternatives coexist. Ultimately, some axiomatic options might turn out to be morally irrelevant, but that's not a question that human philosophers can hope to settle, and all simple things are likely relevant at least to some extent.