"Thank you for your letter of March 31. I am glad to know of your interest in logic. As regards your contradiction derived from the principle that a law cannot be applied to itself, I think that the doctrine of types will deal with it as well as with Gödel's problems. The point is that the law is not one law, but as many as there are types, and, when one seems to be applying a law to itself, one is applying the law of the N+1^th grade to the law of the N^th grade.

I wish you well for success in your logical investigations."