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