Richard T. Cox proved that Bayesian updating follows from several axioms, including two functional equations and the controversial Continuity is equivalent to countable additivity, as proved in measure-theoretic probability books.
Richard T. Cox proved that Bayesian updating follows from several axioms is equivalent to countable additivity, as proved in measure-theoretic probability books. This was including two functional equations. This was including the controversial Continuity.