On the nonexistence of resilient consensus protocols
Gadi Taubenfeld · Information Processing Letters · 1991
We present three axioms capturing the nature of asynchronous message passing systems and five axioms defining resilient consensus protocols. We prove that there does not exist an asynchronous resilient consensus protocol by showing that the set of eight axioms is inconsistent.