You're talking about the formal nature of math, right? If so, I totally agree. From what I've read so far on Wiki, I get the basic idea of the axiom of choice, but I still don't get a few things. If you don't mind explaining in layman terms, why is it treated as an axiom, when to me it seems like just an observed property of sets? And also, why is it so critically important to set theory?