There have been at least two successful attempts to formalize probability, namely the Kolmogorov formulation and the Cox formulation.
Υπήρξαν τουλάχιστον δύο επιτυχείς προσπάθειες για την επισημοποίηση του ορισμού της πιθανότητας, η διατύπωση Κολμογκόροφ και η διατύπωση Κοξ.