You are right, the demonstration is only partially constructive. The functions are well defined: they are the canonical projectors of the Hamel basis. The trick

You are right, the demonstration is only partially constructive. The functions are well defined: they are the canonical projectors of the Hamel basis. The trick is, the basis itself is not constructible.