3 ideas
8920 | Equivalence relations are reflexive, symmetric and transitive, and classify similar objects [Lipschutz] |
12723 | The most primitive thing in substances is force, which leads to their actions and dispositions [Leibniz] |
9141 | Abstraction theories build mathematics out of second-order equivalence principles [Cook/Ebert] |