A Brief History of Time

by Stephen Hawking

Gödel was a mathematician who was famous for proving that it is impossible to prove all true statements, even if you limit yourself to trying to prove all the true statements in a subject as apparently cut and dried as arithmetic.