Expected Utility Teori'de, rasyonel bir karar verici bireyi tanımlamak için 4 aksiyom vardır.
Completeness :
Birey, alternatifler arasında iyi tercih yapabilmelidir ve 2 tercih arasında seçim yapabilmelidir. (a < b veya a>b veya a=b) diyebilmelidir.
Transitivity: Birey, completeness aksiyomuna göre karar verebilmeli ve bu kararları tutarlı olmalıdır.
a>b, b>c diyorsa a>c demelidir.
Independence : Bir birey A ve B lotary leri arasında seçim yapabiliyor ve A>B diyorsa, A ve B lotary leri başka bir C lotary si ile birleştirildiğinde, seçimini değiştirmemelidir.
A > B ise (A:C) > (B:C) olmalıdır.
Continuity : A, B v C lotarileri olsun. Birey A>B ve B>C diyorsa, A ve C nin öyle bir kombinasyonu vardır ki, birey B lotarisi ile A,C den oluşmuş lotari arasında kayıtsız kalır.
A>B>C
pA + (1-p) C = B
