necessarily or demonstrably true.

• 必然真实或者可以证明是真实的。