display all the ideas for this combination of texts
3 ideas
17461 | Some 'how many?' answers are not predications of a concept, like 'how many gallons?' [Rumfitt] |
15360 | ZFC showed that the concept of set is mathematical, not logical, because of its existence claims [Horsten] |
15369 | Set theory is substantial over first-order arithmetic, because it enables new proofs [Horsten] |