>What makes his ideas interesting is what he proved.

I always thought the physcological implications of his work is more interesting. For example, because you have only your set of defined logic, its impossible for you to tell wether or not you're sane, or recognize your own bad internal logic.

That allows one to fool themselves into believing something so much that they can accept something as complete truth when its not even testable. Interesting ideas...