5 ideas
10304 | Very few things in set theory remain valid in intuitionist mathematics [Bernays] |
9464 | One of their own prophets said that Cretans are always liars [Anon (Titus)] |
10303 | Restricted Platonism is just an ideal projection of a domain of thought [Bernays] |
10306 | Mathematical abstraction just goes in a different direction from logic [Bernays] |
5845 | Niceratus learnt the whole of Homer by heart, as a guide to goodness [Xenophon] |