В теории чисел близнецами называют пару простых чисел вида n, n + 2. Например, (3, 5), (5, 7), (11, 13), (17, 19) . Известно, что французский математик Альфонс де Полиньяк обратил внимание на такие простые числа и у него возник вопрос конечно или бесконечно число таких пар простых чисел. В 2015 году в нашей статье " К методу спуска Ферма мы ввели аксиому спуска для бинарных математических утверждений: Пусть A(n) - бинарное математическое утверждение, зависящее от натурального параметра n такое, что 1) существует алгоритм, который для любого значения n дает ответ на вопрос "утверждение A(n) истинно или ложно" ; 2) для значений параметра n1, n2, ...