Assertion: mathematics | /r/HasProperty | reliable process
Facets:
Source sentences:
text: He showed that mathematical physics is a conservative extension of his non-mathematical physics (that is, every physical fact provable in mathematical physics is already provable from Field's system), so that mathematics is a reliable process whose physical applications are all true, even though its own statements are false.