display all the ideas for this combination of texts
3 ideas
9179 | Frege frequently expressed a contempt for language [Frege, by Dummett] |
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] |