Maths in a minute: Gödel's incompleteness theorems

In the early 20th century, the mathematician David Hilbert had a dream. He was hoping that all of mathematics could be grounded on a small, elegant collection of self-evident truths, or axioms. Using the rules of logical inference, one should then be able to derive any true mathematical statement directly from these axioms.