Dummett's proof-theoretic semantics confirms that Russell's contradiction is constructively derivabl...