Verjetnost lahko definiramo na različne načine; mi smo spoznali dva: statistično in klasično definicijo. Obstajajo tudi še druge. Vsem tem pa so skupne lastnosti, ki jih imenujemo aksiomi Kolmogorova. Ponovimo: verjetnost je preslikava , ki vsakemu dogodku iz množice vseh dogodkov nekega poskusa priredi realno število, če zadošča naslednjim trem aksiomom:
- prvi aksiom: (funkcija je pozitivna);
- drugi aksiom: (funkcija je normirana);
- tretji aksiom: , če je (verjetnost vsote nezdružljivih dogodkov).
Če pri delu uporabljamo te lastnosti verjetnosti, nam niti ni treba navajati, katero definicijo mislimo, saj te lastnosti veljajo za vse. Poleg teh pa bomo spoznali še šest trditev, lastnosti, ki jih bomo tudi dokazali. Te zanesljive trditve nam olajšajo računanje verjetnosti dogodkov. Nekatere od teh trditev so tako očitne, da je dokazovanje skoraj odveč, a jih bomo vendarle dokazali.



