>>795
ごめん、書き間違い。
整数を係数とする方程式の解である複素数全ての集合が可付番集合であること
でした。。