Чтобы доказать Великую теорему Ферма, Уайлсу было необходимо сначала доказать гипотезу Таниямы-Шимуры о том, что каждой эллиптической кривой можно поставить в соответствие некоторую модулярную форму. Многие математики отчаянно пытались доказать эту гипотезу, но все попытки окончились неудачей. Уайлс хорошо сознавал, какие чудовищные трудности ожидают его на пути к доказательству: «В конце концов всё, что наивно надеялись сделать одни и что действительно пытались сделать другие, сводилось к тому, чтобы пересчитать эллиптические кривые и модулярные формы и показать, что число одних совпадает с числом других. Но никто и никогда не предложил простого способа, который позволил бы сделать это. Первая трудность состоит в том, что существует бесконечно много эллиптических кривых и бесконечно много модулярных форм, и поэтому количество тех и других невозможно выразить конечным числом».

Уайлс решил воспользоваться своим обычным подходом к решению трудных задач. «Иногда я записываю на листке бумаги каракули. Строго говоря, они ничего не обозначают. Это, так сказать, подсознательные каракули. Компьютером я не пользуюсь никогда». Во многих задачах теории чисел, компьютеры оказываются совершенно бесполезными. Гипотеза Таниямы-Шимуры относится к бесконечно многим уравнениям, и хотя компьютер может проверить за несколько секунд каждый отдельный случай, он никогда не сможет проверить все случаи. Требовалось нечто другое: логическое рассуждение, которое допускало бы разбиение на отдельные шаги, которое бы в целом указывало причину и давало объяснение, почему все эллиптические кривые без исключения должны соответствовать модулярным формам. И в поиске доказательства Уайлс полагался только на листок бумаги, карандаш и свой разум. «Я не забывал ни на миг о своей цели. С этим я просыпался по утрам, над этим размышлял весь день, об этом думал, засыпая. Не отвлекаясь, я только и делал, что размышлял и размышлял над всем этим».

После года размышлений Уайлс решил избрать за основу доказательства общий метод, известный под названием индукции. Индукция — чрезвычайно мощный способ доказательства, поскольку он позволяет математику доказать, что утверждение справедливо для бесконечно многих случаев, доказав, что оно справедливо только в одном случае. Например, представим себе, что некий математик хочет доказать, что какое-то утверждение справедливо для всех натуральных чисел от 1 до бесконечности. Первый шаг состоит в том, чтобы убедиться в истинности этого суждения для числа 1, что обычно достигается прямой проверкой. Следующий шаг состоит в том, чтобы показать, что если утверждение верно для числа 1, то оно должно быть верно для числа 2, а если оно верно для числа 2, то оно должно быть верно для числа 3, а если оно верно для числа 3, то оно должно быть верно для числа 4 и т. д. Более общо, математик должен показать, что если утверждение верно для некоторого числа n , то оно должно быть верно для следующего числа n +1.

По существу доказательство по индукции представляет собой процесс, состоящий из двух частей:

1. доказательство того, что утверждение верно в первом случае;

2. доказательство того, что если утверждение верно для какого-нибудь одного случая, то оно должно быть верным для следующего случая.