display all the ideas for this combination of philosophers
3 ideas
| 17621 | What matters in mathematics is its objectivity, not the existence of the objects [Dummett] |
| 9847 | A contextual definition permits the elimination of the expression by a substitution [Dummett] |
| 19067 | A successful proof requires recognition of truth at every step [Dummett] |