第七节 一致性与简单性