用萊布尼茲(Gottfried Wilhelm Leibniz 1646-1716) 的話來說,是存在於 (成立於) 每一個可能世界 (Possible World)的。每一條邏輯真理的否定命題 (Negation ...