Probability measures satisfy three axioms: P(S)=1 for sample space S, P(A)≥0 for any event A, and P(A∪B)=P(A)+P(B) for disjoint events. These axioms imply complement rule P(Aᶜ)=1−P(A) and general addition rule P(A∪B)=P(A)+P(B)−P(A∩B). All probability rules derive from these axioms.
Before Kolmogorov's 1933 formalization, probability was intuitive but mathematically inconsistent — different approaches sometimes yielded contradictory results. The Kolmogorov axioms resolved this by providing a minimal foundation: three rules that every valid probability measure must satisfy, from which everything else can be derived. Your work with sets gives you exactly the language needed to state and understand them.
The three axioms are: (1) for any event A, P(A) ≥ 0 (probabilities are non-negative); (2) P(S) = 1, where S is the sample space (something must happen); (3) if A and B are disjoint — A ∩ B = ∅ — then P(A ∪ B) = P(A) + P(B) (disjoint events add). Notice that "event" is just a set of outcomes, "disjoint" is the set-theoretic term you already know, and "union" is the set union operator. The axioms are abstract enough to apply to any sample space, not just coin flips or dice.
From these three axioms you can derive every other rule. The complement rule follows directly: since A and Aᶜ are disjoint and A ∪ Aᶜ = S, axiom 3 gives P(A) + P(Aᶜ) = P(S) = 1, so P(Aᶜ) = 1 − P(A). The rule P(∅) = 0 follows because S and ∅ are disjoint and S ∪ ∅ = S, giving P(S) = P(S) + P(∅), which forces P(∅) = 0. These derivations are not just exercises — they illustrate how much structure emerges from very few assumptions.
The general addition rule — P(A ∪ B) = P(A) + P(B) − P(A ∩ B) — handles overlapping events. The subtraction corrects for double-counting: when you add P(A) and P(B), outcomes in the intersection are counted once in each term, so they appear twice in the sum. Subtracting P(A ∩ B) once restores the correct count. This is the probabilistic version of inclusion-exclusion from set counting, which you may have seen with Venn diagrams.
A persistent misconception is applying P(A ∪ B) = P(A) + P(B) to all events. This only works when A and B cannot both occur (they are mutually exclusive). For overlapping events it overcounts — and can even produce probabilities exceeding 1. The habit to build is: before adding probabilities, always ask whether the events are disjoint. If they are not, you must subtract the intersection.