Was meinst Du mit der Beziehung dieser Zahl-Kontruktionen zu axiomatischen Definitionen? Man kann bekanntlich die reellen Zahlen etwa als vollständigen, archimedisch geordneten Körper definieren, die Konstruktion aus den rationalen Zahlen ist dann ein Modell dafür. Willst Du darauf hinaus?