Assertion: formal science | /r/HasProperty | mathematic
Facets:
Source sentences:
text: It includes mathematics, systems theory, and theoretical computer science.