Assertion: logic's theorem | /r/HasProperty | useful
Facets:
value: in any field of inquiry
type: LOCATION
Source sentences:
text: Well, yes: anything can be counted, so the theorems of arithmetic will be useful in any field of inquiry.