Paxos理论介绍(1): 朴素Paxos算法理论推导与证明_OpenIM