The probability axioms are three conditions for measuring uncertainty — non-negativity
P(A)≥0, normalization
P(Ω)=1, and countable additivity
P(⋃iAi)=∑iP(Ai) for disjoint
Ai. They yield conditional probability
P(A∣B)=P(B)P(A∩B), the law of total probability
P(B)=∑iP(B∣Ai)P(Ai), and Bayes' theorem
P(Ai∣B)=∑jP(B∣Aj)P(Aj)P(B∣Ai)P(Ai),
i.e. posterior
∝ likelihood
× prior.