5 ideas
23505 | Aristotelian logic cannot express 'Everyone loves someone' [White,RM] |
10304 | Very few things in set theory remain valid in intuitionist mathematics [Bernays] |
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] |
2975 | That honey is sweet I do not affirm, but I agree that it appears so [Timon] |