Originally Posted by bid I'll refer you to Hilbert's program and Goedel's answer. . Too funny. I was trying to think up a Set Theory ------> I.T. remark, but I can see I don't have to. Thanks for saving me the effort!