by akarra

"Gödel wanted to prove a mathematical theorem that would have all the precision of mathematics—the only language with any claims to precision—but with the sweep of philosophy."