Von Neumann-Morgenstern axioms