FLP 不可能定理

在完全异步、允许一个节点故障的模型下，不存在总能达成共识的确定性算法。