To sum up, Russell and Hilbert have each made a vigorous effort; they have each written a work full of original views, profound and often well warranted. These two works give us much to think about and we have much to learn from them. Among their results, some, many even, are solid and destined to live.
But to say that they have finally settled the debate between Kant and Leibnitz and ruined the Kantian theory of mathematics is evidently incorrect. I do not know whether they really believed they had done it, but if they believed so, they deceived themselves.
