Exactly. Moreover, a construction can be seen merely as a proof of the consistency of the set of axioms (i.e. it is the axioms rather than any particular construction that define what the reals are).