本文从数学基础出发，系统阐述CRDT（无冲突复制数据类型）的理论框架。文章首先介绍半格代数结构，严格推导State-based（CvRDT）与Operation-based（CmRDT）两种形式化定义及其等价性，并讨论强最终一致性的精确含义、元数据开销的理论下界，以及CRDT与共识协议的本质区别。