تنص على أنه في الأنظمة الموزعة لا يمكن تحقيق سوى خاصيتين من ثلاثة: الاتساق (Consistency)، التوافر (Availability)، والتجزئة (Partition Tolerance).