5 ideas
9390 | Logic guides thinking, but it isn't a substitute for it [Rumfitt] |
8923 | Numbers are identified by their main properties and relations, involving the successor function [MacBride] |
8926 | For mathematical objects to be positions, positions themselves must exist first [MacBride] |
9389 | Vague membership of sets is possible if the set is defined by its concept, not its members [Rumfitt] |
17503 | Theories can never represent accurately, because their components are abstract [Cartwright,N, by Portides] |