“Now we can see what makes mathematics unique. Only in mathematics is there no significant correction—only extension. Once the Greeks had developed the deductive method, they were correct in what they did, correct for all time. Euclid was incomplete and his work has been extended enormously, but it has not had to be corrected. His theorems are, every one of them, valid to this day.”