necessity, \Box

\Box P

その世界から、すべての到達可能な世界で Pは真である