display all the ideas for this combination of texts
2 ideas
9188 | Gödel proved that first-order logic is complete, and second-order logic incomplete [Gödel, by Dummett] |
19296 | If second-order variables range over sets, those are just objects; properties and relations aren't sets [Hale] |