3 ideas
17699 | Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel] |
9548 | A mathematical object exists if there is no contradiction in its definition [Waterfield] |
7258 | The forefather of modern intuitionism is Richard Price [Price,R, by Dancy,J] |