Godel's Proof

by Ernest Nagel

it confirm the power of PM as an axiomatic system for number theory, but it also pins down the conventional interpretations for each and every symbol.