 Before discussing Savage’s axioms, let us state the result that they give rise to. The following notation will be used: \(f\), \(g\), etc, are various acts, i.e., functions from the set \(\bS\) of states of the world to the set \(\bO\) of outcomes, with \(\bF\) the set of these functions. \(f(s_i)\) denotes the outcome of \(f\) when state \(s_i\in\bS\) is actual. The expected utility of \(f\), according to Savage’s theory, denoted \(U(f)\), is given by: