In ZF+DC is it true that measures satisfy the desirable properties mentioned by Colin? I think the sticking point is isometry invariance. Are there measures in ZF+DC of R^3 that are finitely (countably?) additive and isometry invariant?