Assertion: independence's idea | /r/CapableOf | attempt to reduce mathematic
Facets:
value: to logic
type: OTHER
Source sentences:
text: Unlike in historical logicism, the idea is not to consider logic as an axiom system on the same level as mathematical axiom systems (Hintikka 1996: 183), and to attempt to reduce mathematics to logic.