Assertion: noncontingent truth | /r/CapableOf | describe the world
Facets:
value: correctly
type: MANNER
Source sentences:
text: On the Semantic Theory, the answer is that the noncontingent truths of mathematics correctly describe the world (as they would any and every possible world).