display all the ideas for this combination of texts
2 ideas
13743 | We should not multiply basic entities, but we can have as many derivative entities as we like [Schaffer,J] |
15927 | Definition just needs negation, known variables, conjunction, disjunction, substitution and quantification [Weyl, by Lavine] |