3 ideas
8920 | Equivalence relations are reflexive, symmetric and transitive, and classify similar objects [Lipschutz] |
7295 | Maybe induction is only reliable IF reality is stable [Mitchell,A] |
9141 | Abstraction theories build mathematics out of second-order equivalence principles [Cook/Ebert] |