Aumann's agreement theorem

Aumann's Agreement Theorem, proposed by Robert Aumann in 1976, is a result in the field of Bayesian epistemology that addresses the conditions under which two rational agents with common prior beliefs can have common knowledge of their respective beliefs and still agree to disagree about a given proposition. The theorem states that if two agents have a common prior probability distribution over a set of possible states of the world, and they are both rational (i.e.