display all the ideas for this combination of texts
2 ideas
9145 | We form the image of a cardinal number by a double abstraction, from the elements and from their order [Cantor] |
8786 | One first-order abstraction principle is Frege's definition of 'direction' in terms of parallel lines [Hale/Wright] |