problém dvou armád

Dva generálové se musí dohodnout na čase útoku přes nespolehlivý kanál (posel může být zajat). Je dokázáno, že problém nemá řešení – nikdy si nemohou být stoprocentně jistí, že druhý generál obdržel poslední potvrzení. To demonstruje neřešitelnost deterministického konsenzu při ztrátě zpráv bez dodatečných synchronizačních předpokladů.