I think the following is a valid question. At least I hope it isn’t completely stupid.

Is there a known set theory of the form ZF+(something) which relatively consistent with ZFC in which additive, isometry invariant measures exist?

I guess what you are saying is that the only known, reasonable way around this is the topos notion you mentioned.