An intuitive proof of the CAP theorem: https://mwhittaker.github.io/blog/an_illustrated_proof_of_the_cap_theorem/