Assertion: mathematics | /r/HasProperty | an extension of a logic
Facets:
Source sentences:
text: Logicism is a school of thought, and research programme, in the philosophy of mathematics, based on the thesis that mathematics is an extension of a logic or that some or all mathematics may be derived in a suitable formal system whose axioms and rules of inference are 'logical' in nature.