次のような集合Uは存在するか。

Uは無理数を要素とする有限集合である。Uのどの2つの要素を取っても、その和はまたUの要素である。