4 ideas
15927 | Definition just needs negation, known variables, conjunction, disjunction, substitution and quantification [Weyl, by Lavine] |
9548 | A mathematical object exists if there is no contradiction in its definition [Waterfield] |
6005 | Animals are dangerous and nourishing, and can't form contracts of justice [Hermarchus, by Sedley] |
10246 | The limit of science is isomorphism of theories, with essences a matter of indifference [Weyl] |