5 ideas
291 | Don't assume that wisdom is the automatic consequence of old age [Plato] |
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] |
14248 | We could accept the integers as primitive, then use sets to construct the rest [Cohen] |
293 | Being unafraid (perhaps through ignorance) and being brave are two different things [Plato] |