Assertion: mathematics | /r/HasProperty | the science of formal systems
Facets:
Source sentences:
text: Even in the face of the incompleteness theorems, it is coherent to maintain that mathematics is the science of formal systems.