3 ideas
8754 | Logic is dependent on mathematics, not the other way round [Heyting, by Shapiro] |
3061 | Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius] |
6316 | We translate in a way that makes the largest possible number of statements true [Wilson,NL] |