Blum's axioms are derivable from minimal assumptions about measure-theoretic structure, not substant...
This proposition has not been edited since the history system was added.