Fermat’s Last Theorem: The compelling biography and history of mathematical intellectual endeavour

by Simon Singh

First theorem of undecidability If axiomatic set theory is consistent, there exist theorems which can neither be proved or disproved.