Does there exist a set S consisting of rational numbers with the following property: for every integer n there is a unique nonempty, finite subset of S, whose elements sum to n?

Yes