Measure-theoretic probability already abandons countable additivity for uncountable cases; non-real ...
This proposition has not been edited since the history system was added.