Как в Paxos-алгоритме достигается консенсус в асинхронных системах через фазы propose и accept?