– elementar itimallıq teoriyasınıń tiykarǵı teoremalarınıń biri. Teorema onı anıqlaǵan T. Bayes (Beyes) atı menen atalǵan (1763). Meyli ${A}_{1},{A}_{2},\dots,{A}_{n}$ - bazıbir jup-juptan birgelikli bolmaǵan waqıyalar bolsın, olardan eń keminde birewi júzege asatuǵın bolsın hám $B$ - bul $P\left(B\right)>0$ bolǵan bazıbir waqıya bolsın. Sonda $B$ waqıyasınıń júzege asıw shártinde ${A}_{k}$ waqıyasınıń shártli itimallıǵı $$P\left({A}_{k}/B\right)=\cfrac{P\left(B/{A}_{k}\right)P\left({A}_{k}\right)}{\sum\limits_{i=1}^{n}P\left(B/{A}_{i}\right)P\left({A}_{i}\right)}$$ kórinistegi Bayes formulası boyınsha anıqlanıwı múmkin.