In message <email@example.com>, Paul <firstname.lastname@example.org> writes >Thanks. I did check this carefully and it seems fine. Much better >than in the paper. > Thank you. I enjoyed trying to understand the paper.
>Finally, I won't need to be sceptical if someone accosts me in the >street and tells me. "Verily I say unto you: The Canonical Ramsey >theorem is absolutely true."
Unless they add, "And so it is with every theorem under the sun. For Lo! PA is not consistent." -- David Hartley