问答题

【参考答案】

(1)局部化
(2)一致性
(3)完全性
(4)可验证性