Перечислимые и разрешимые множества (Делфи)

[Мaрина]

Доказать, что множество четных чисел, больших 2, представимых в виде суммы двух простых чисел, перечислимо и разрешимо

[Poma][a]

Доказать, что множество четных чисел, больших 2, представимых в виде суммы двух простых чисел, перечислимо и разрешимо

Проблема Гольдбаха

[Abstraction]

Проблема Гольдбаха

...не имеет отношения к заданию.
Разрешимость доказывается тривиально (напоминаю, что множество простых чисел разрешимо).
Перечислимость можно или тупо вывести из разрешимости самого множества, или, что лично мне кажется более элегантным, использовать перечислимость множества простых чисел.

В чём проблема?