Then L1 is Kripke incomplete.
那么 L1 是 Kripke 不完备的。