display all the ideas for this combination of texts
3 ideas
6109 | Some axioms may only become accepted when they lead to obvious conclusions [Russell] |
10834 | Weak completeness: if it is valid, it is provable. Strong: it is provable from a set of sentences [Boolos] |
13841 | Why should compactness be definitive of logic? [Boolos, by Hacking] |