4 ideas
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] |
3536 | Supervenient properties must have matching base properties [Kim] |
3016 | Even the gods cannot strive against necessity [Pittacus, by Diog. Laertius] |