Axioms for Randomness
Michiel van Lambalgen · Theory of Probability and Its Applications · 1994
An axiomatic system of probability theory is outlined in which randomness and independence are taken as primitives. Such approach goes back to von Mises. The axioms proposed contradict the axiom of choice, but are compatible with the axiom of dependent choice, and this is sufficient for practical needs.