Your third example is often cited as an unintuitive result, so I wouldn't mind getting rid of it. The first and second are easy enough to consider collateral damage, which we already have plenty of in basic math. But the fourth one is harder to give up. What would it look like without the axiom?
