display all the ideas for this combination of texts
3 ideas
17997 | Some suggest that the Julius Caesar problem involves category mistakes [Magidor] |
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] |