作“命题formula_5于时刻formula_6为真”，“命题formula_7于时刻formula_8为真”，以此类推。这里的一系列时刻称作历史的“时间支点”，它们已经经过严格排序，满足非齐次历史是不能以齐次历史表现的高次命题，如两个齐次历史的逻辑或：这些命题对应对于某一系统所有可能提出的问题。例如，这样的三个命题：“电子经过左面的狭缝”、“电子经过右面的狭缝”以及“电子并没有经过任意一个狭缝”。建立这一理论的目的之一在于展示像“我的钥匙在哪？”这样的经典问题具有一致性。对于这个问题，人们可