Eric Brewer は2000年7月19日のPODC基調講演「Towards Robust Distributed Systems」で一貫性と可用性の関係などを論じています。Seth Gilbert と Nancy Lynch は論文で、3つの特性をすべて達成するのは不可能という予想を非同期ネットワークモデルで証明し、部分同期モデルでの解決策も論じました。ただし、講演スライドはPDFの先頭部分のみ、論文もAbstract中心の確認であり、証明の詳細は各原典で確認が必要です。
CAP定理の提唱と証明に関する一次資料（2026年10月27日確認）
予想と証明（GilbertとLynch）は別の成果で、証明は非同期ネットワークモデル上のものである。