4 ideas
6409 | The 'simple theory of types' distinguishes levels among properties [Ramsey, by Grayling] |
17555 | 'One' can mean undivided and not a multitude, or it can add measurement, giving number [Aquinas] |
3212 | Beliefs are maps by which we steer [Ramsey] |
9145 | We form the image of a cardinal number by a double abstraction, from the elements and from their order [Cantor] |