There have been at least two successful attempts to formalize probability, namely the Kolmogorov formulation and the Cox formulation.
كان هناك على الأقل محاولتان ناجحتان لصياغة الاحتمالية هما صياغة أندريه كولموغوروف وصياغة كوكس.