Assertion: hypothesis | /r/HasProperty | expressed in formal language
Facets:
value: usually
type: TEMPORAL
Source sentences:
text: When theories are studied in mathematics, they are usually expressed in some formal language and their statements are closed under application of certain procedures called rules of inference.