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. Second theorem of undecidability There is no constructive procedure which will prove axiomatic theory to be consistent.