Assertion: hypothesis's form | /r/HasProperty | studied in model theory
Facets:
value: formally
type: MANNER
Source sentences:
text: The form of theories is studied formally in mathematical logic, especially in model theory.