後者の場合、◻x{\displaystyle\Boxx}が真であるという初期前提がx{\displaystylex}が真であることの唯一の裏づけであるため、直観的でない。
第二个被认为是反直觉的，因为◻x{\displaystyle\Boxx}为真的初始假定只说明了为什么x{\displaystylex}为真，符合这个假定。