于其他存在信息丢失的双方通信的情况。作为认识逻辑的一个重要概念，该问题突出了的重要性。一些学者也将此问题称作两军悖论（）或协同进攻问题（）。两军问题是第一个被证明无解的计算机通信问题。该证明的重要意义在于，其显示了对于存在通信错误的更广泛的问题（如拜占庭将军问题），同样是无解的。这也为所有分布式一致性协议的实现提供了一个符合现实的预期。
定义.两支由不同的将军领导的军队，正准备进攻一座坚固的城市。军队在城市附近的两个山谷扎营。由于有另一个山谷将两个山丘隔开，两个将军交流的唯一方法是