史集
如果一个历史集是一致的，那么对应的概率也将需要依据一致性进行安排。在这里做出公设：历史formula_1的概率为：