俺が言いたかったのは、実数の定義だが、まあ、
>>512は役に立ちそうだ。さんきゅう。

ちなみに、俺のいなかでは、
自然数の定義：なし
整数の定義：自然数とマイナス付き自然数と0
有理数の定義：整数のペアの同値類
実数の定義：有理数列の同値類