7 ideas
10196 | The Axiom of Choice needs a criterion of choice [Black] |
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] |
10194 | Two things can only be distinguished by a distinct property or a distinct relation [Black] |
16629 | By comparing qualities and features, reason can gradually infer the nature of substance [Grosseteste] |
10193 | The 'property' of self-identity is uselessly tautological [Black] |
10195 | If the universe just held two indiscernibles spheres, that refutes the Identity of Indiscernibles [Black] |