4 ideas
3750 | "It is true that x" means no more than x [Ramsey] |
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
18818 | Sentence meaning is given by the actions to which it would lead [Ramsey] |
7495 | Apart from the fear, dying is an easy duty [Montaigne] |