display all the ideas for this combination of texts
4 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] |
| 14227 | We could refer to tables as 'xs that are arranged tablewise' [Inwagen] |
| 16878 | We must be clear about every premise and every law used in a proof [Frege] |