Even when a construction is offered, it is usually applied towards proving the axioms of the real numbers, which then support the above proofs.
Selbst wenn eine Konstruktion angeboten wird, wird sie normalerweise verwendet, um die Axiome der reellen Zahlen zu beweisen, die dann den obigen Beweis stützen.