Shenitzer and Arthan refer to this construction as the Eudoxus reals.
Shenitzer和Arthan將此構造稱為歐多克索斯實數。