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

by Simon Singh

Second, mathematics should be free of inconsistencies – that is to say, having shown that a statement is true by one method, it should not be possible to show that the same statement is false via another method.