Godel's Proof

by Ernest Nagel

pure mathematics is the subject in which we do not know what we are talking about, or whether what we are saying is true.