5 ideas
15927 | Definition just needs negation, known variables, conjunction, disjunction, substitution and quantification [Weyl, by Lavine] |
8920 | Equivalence relations are reflexive, symmetric and transitive, and classify similar objects [Lipschutz] |
12427 | All of mathematics is properties of the whole numbers [Kronecker] |
10091 | God made the integers, all the rest is the work of man [Kronecker] |
10246 | The limit of science is isomorphism of theories, with essences a matter of indifference [Weyl] |