3 ideas
18491 | The idea of 'making' can be mere conceptual explanation (like 'because') [Künne] |
17699 | Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel] |
9141 | Abstraction theories build mathematics out of second-order equivalence principles [Cook/Ebert] |