4 ideas
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
16700 | In order to speak about time and successive entities, the 'present' must be enlarged [Wycliff] |
16701 | To be successive a thing needs parts, which must therefore be lodged outside that instant [Wycliff] |
3061 | Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius] |