Probability axioms (source code)

= Probability axioms
{wiki=Probability_axioms}