4 ideas
9987 | An aggregate in which order does not matter I call a 'set' [Bolzano] |
17699 | Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel] |
10856 | A truly infinite quantity does not need to be a variable [Bolzano] |
5271 | Prejudice apart, push-pin has equal value with music and poetry [Bentham] |