Re:An Illustrated Proof of the CAP Theorem
by vladf on Saturday July 14, 2018 @10:30AM
(#17530472)
Your definition of tolerant is incompatible with availability from CAP. The Paxos 3/7 minority in your example can't make progress when partitioned from the other 4 machines.
There are systems tolerant to these partitions (see PAXOS)