Can someone explain to me how dedikind cuts derive the real system from the rational number system? I understand how the cuts derive an algebra with a defined addition and multiplication, etc. How do we jump from this algebra on these cuts to assuming the existence of the irrationals? I guess I can't just make that final connection. Can someone explain this?