3 ideas
17699 | Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel] |
10190 | From the axiomatic point of view, mathematics is a storehouse of abstract structures [Bourbaki] |
23559 | We have the concept of 'knowledge' as a label for good informants [Craig, by Fricker,M] |