Vrste vjerojatnosti
opravdava razmišljanje gdje se istinitost teorije potvrđuje novim dokazima. To zapravo nazivamo uvjetnom vjerojatnosti; da je jedna pretpostavka istinita pod uvjetom istinitosti i druge pretpostavke. Cilj teorema je formaliziranje informacije...