Comment by ewindal

So is the set of all positive integers, but there is no unknown number in there, even though we haven’t seen them all.