I've already asked somebody through email this question, so I'll copy and paste part of my email:
Basically, I'm wondering why doesn't it fall from the other axioms, and if it does in fact not fall from the other axioms (which it apparently doesn't), why the axioms can't be slightly modified...