На самом деле — можно задать вопрос, какие вообще множества представляются как множества положительных значений многочленов (от нескольких переменных) с целыми коэффициентами в целых точках.
(Такие множества называются диофантовыми .)

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