CAP 定理在数学上有什么有趣的地方吗？查看证明，对于两种形式的两种不同陈述似乎有四种不同的情况。CAP 定理在这三种微不足道的情况下成立，而在第四种情况下则不成立。所有这些都使用极其迂回的证明技术来表达非常简单的东西。
3.1 Thm 1. 如果两台机器没有任何通信，它们就不能包含一致的数据。
3.1 推论 1.1 如果两台机器不允许等待接收对方的消息，并且它们之间的通信线路任意慢，如果你写一个，然后立即查询另一台，你会得到不一致的结果。
4.2 Thm 2. 如果允许等待超时的两台机器没有任何连接，它们仍然不能包含一致的数据。
...但是如果它们之间的通信线路有关于最坏情况传输时间的保证，那么您可以在每次执行写入时等待超时并且 CAP 定理不适用。
我在这里错过了什么吗？论文中使用的证明技术似乎更像是您在山上将军问题（这是不平凡的）中发现的那种东西，将军们可以设定一个时间来协调他们的攻击并同意他们要去去做，但他们不能同意他们同意。但我只是看不出这如何适用于此。