すなわちΓ⊢{\displaystyle\Gamma\vdash}という形式は、Γが偽であることを証明することを意味し、従って一貫性がない。
如果后继为空，则按虚假解释，就是说Γ⊢{\displaystyle\Gamma\vdash}意味着Γ证明了虚假，并且因此是矛盾的。