Godel's Proof

by Ernest Nagel

Russell’s famous epigram: pure mathematics is the subject in which we do not know what we are talking about, or whether what we are saying is true.