可能世界 谨以此篇，纪念伟大的数理逻辑学家克里普克