A comment from Timothy Gowers

Previous post: Self-revealing truths? - Part 1

Let me try to dispel the mystery about my views. I share your distaste for incomprehensible proofs that merely certify the truth of a statement...

Next post: To appear