4 ideas
15927 | Definition just needs negation, known variables, conjunction, disjunction, substitution and quantification [Weyl, by Lavine] |
10190 | From the axiomatic point of view, mathematics is a storehouse of abstract structures [Bourbaki] |
2667 | A false object might give the same presentation as a true one [Arcesilaus, by Cicero] |
10246 | The limit of science is isomorphism of theories, with essences a matter of indifference [Weyl] |