display all the ideas for this combination of texts
3 ideas
18108 | First-order logic is not decidable: there is no test of whether any formula is valid [Bostock] |
18109 | The completeness of first-order logic implies its compactness [Bostock] |
8789 | Various strategies try to deal with the ontological commitments of second-order logic [Hale/Wright on Quine] |