So is the set of all positive integers, but there is no unknown number in there, even though we haven’t seen them all.
(BTW, if you want to know the difference between constructive and nonconstructive mathematics, it's that constructive mathematics doesn't let you say "well, it's definitely 0 or 1" because it leaves open the possibility that there's no proof of either termination or nontermination in the current theory... which is basically the philosophical distinction under discussion).
If my recall is accurate then there is a bit of a question if there exists a "final number".