Well, sure. Without choice there exist models of ZF where those properties hold. Adding choice precludes those models -- i.e., it restricts our axioms in a way

Well, sure. Without choice there exist models of ZF where those properties hold. Adding choice precludes those models -- i.e., it restricts our axioms in a way which prevents certain kinds of unexpected results.