どのような場合も、閉世界仮説の形式化ではK{\displaystyleK}において否定してもよい論理式の否定形をK{\displaystyleK}に追加することを基本とする。
在所有情况下，封闭世界假定的形式化都是基于向K{\displaystyleK}增加K{\displaystyleK}的“自由否定”--就是说可以被假定为假的公式的否定。