5 ideas
16519 | No one can conceive of a possible substance, apart from those which God has created [Arnauld] |
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] |
4038 | Properties are sets of their possible instances (which separates 'renate' from 'cordate') [Lewis, by Mellor/Oliver] |