Consider a countably infinite sequence of fair and independent coin tosses. Given the Axiom of Choice, there is no finitely additive probability measure that satisfies these conditions:
- It is defined for all sets of outcomes.
- It agrees with the classical probabilities where these are defined.
- It is invariant under permutations of coins.