Godel's Proof

by Ernest Nagel

The importance to our subject of recognizing the distinction between mathematics and meta-mathematics cannot be overemphasized.