3 ideas
8920 | Equivalence relations are reflexive, symmetric and transitive, and classify similar objects [Lipschutz] |
9226 | If mathematical theories conflict, it may just be that they have different subject matter [Field,H] |
9548 | A mathematical object exists if there is no contradiction in its definition [Waterfield] |