> they define a three-dimensional space with the CAP theorem (especially in Gilbert and Lynch's formal proof) . . .
That's weird because I've read the proof and they speak only of boolean instances of C, A, and P in the proof. They give no examples of systems where any of the three variables have values other than zero or one.