6 ideas
10304 | Very few things in set theory remain valid in intuitionist mathematics [Bernays] |
9390 | Logic guides thinking, but it isn't a substitute for it [Rumfitt] |
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] |
9389 | Vague membership of sets is possible if the set is defined by its concept, not its members [Rumfitt] |
22591 | We know perfection when we see what is imperfect [Murdoch] |