Осы анықтамадағы үш шарт ықтималдықтың аксиомалары деп аталады. Бірақ бұл аксиомалар толық емес. Аксиомалар мынандай төртінші аксиомамен толтырылады.
;
Ø, 
және 
Ø, онда 