Yep the term for this is catastrophic cancellation, which doesn’t invalidate the axiom.