Godel's Proof

by Ernest Nagel

it called attention in a most impressive way to the fact that a proof can be given of the impossibility of proving certain propositions within a given system.