display all the ideas for this combination of philosophers
3 ideas
9188 | Gödel proved that first-order logic is complete, and second-order logic incomplete [Gödel, by Dummett] |
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
10035 | Mathematical Logic is a non-numerical branch of mathematics, and the supreme science [Gödel] |