最近，我阅读了 DJ Abadi 的文章《现代分布式数据库系统设计中的一致性权衡》，解释了数据库系统（也称为 PACELC）中存在一致性-延迟权衡。引用关于PACELC 定理的维基百科文章：
它指出，在分布式计算机系统中的网络分区 (P) 的情况下，必须在可用性 (A) 和一致性 (C) 之间进行选择（根据 CAP 定理），否则 (E)，即使系统是在没有分区的情况下正常运行，必须在延迟（L）和一致性（C）之间进行选择。
IEEE 计算机文章没有显示任何证据，也没有声称 PACELC 是一个定理。所以，我的问题是：PACELC 是定理还是猜想？