Догадка — это правдоподобное предположение, которое еще не доказано. Когда она будет доказана, то превратится в теорему. Известный пример — догадка Гольдбаха, которая утверждает, что любое четное число можно представить как сумму двух простых. Математики проверили все четные числа вплоть до 300 тысяч миллионов миллионов миллионов, и согласно здравому смыслу — догадка Гольдбаха является фактом. Тем не менее это утверждение не доказано, несмотря на щедрые призы, которые предлагают за доказательство, и его отказываются возводить на пьедестал, предназначенный для теорем. Если кто-нибудь когда-нибудь найдет доказательство, она получит повышение до теоремы Гольдбаха, или теоремы Х, где Х — умница-математик, доказавший ее. Карл Саган с сарказмом использовал Догадку Гольдбаха отвечая людям, которые утверждают, что были похищены инопланетянами. «Иногда я получаю письмо от кого-то, кто находится «в контакте» с инопланетянами. Меня приглашали, чтобы «спросить их, о чем-нибудь». С течением времени я приготовил для них вопросник. Помните, инопланетяне очень развиты. Поэтому я прошу их дать короткое доказательство Последней теоремы Ферма. Или догадки Гольдбаха… Ответа я никогда не получал. С другой стороны, когда я спрашивал «Должны ли мы быть добрыми?», то всегда получал ответ. Эти пришельцы всегда были рады ответить на любой расплывчатый вопрос, особенно о традиционной морали. Но ни на один конкретный, где есть возможность выяснить, знают ли они на самом деле что-нибудь вне того, что знает большинство людей, только молчание.» Великая теорема Ферма, как и догадка Гольдбаха — это предположение относительно чисел, исключение из которого никто не нашел.