Бесконечно ли множество простых чисел-близнецов в форм. ариф

[alex_dorin]

Может ли быть, что вопрос - "бесконечно ли множество простых чисел-близнецов ?" не имеет решения в формальной арифметике,
и без противоречия к формальной арифметике можно присоединить утверждение -
"бесконечно множество простых чисел-близнецов" или отрицание этого утверждения ?

[stedent076]

alex_dorin
Мне кажется, не может, Так как утверждалось бы одновременно о неограниченности возрастающей последовательности простых чисел и возможности выбрать из нее максимальный элемент.