Axioms for randomness

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.