This is a (soft!) question for students of set theory and their teachers. OK: ZFC is the canonical set theory we all know and love. But what other, alternative set theories, should a serious student ...
What are some motivating consequences of the axiom of choice (or its omission)? I know that weak forms of choice are sometimes required for interesting results like Banach-Tarski; what are some ...