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] |
15926 | Second-order logic presupposes a set of relations already fixed by the first-order domain [Lavine] |