史集
历史集是“弱一致的”，当对于所有formula_21存在