3 ideas
15927 | Definition just needs negation, known variables, conjunction, disjunction, substitution and quantification [Weyl, by Lavine] |
9145 | We form the image of a cardinal number by a double abstraction, from the elements and from their order [Cantor] |
467 | A virtue is a combination of intelligence, strength and luck [Ion] |