display all the ideas for this combination of texts
3 ideas
| 16877 | A 'constructive' (as opposed to 'analytic') definition creates a new sign [Frege] |
| 11219 | Frege suggested that mathematics should only accept stipulative definitions [Frege, by Gupta] |
| 18861 | Maybe number statements can be paraphrased into quantifications plus identities [Tallant] |