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] |