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

by Simon Singh

Second theorem of undecidability There is no constructive procedure which will prove axiomatic theory to be consistent.