日本語が若干おかしいので訂正。

通常の実数体は無限小を認めていない。なお、通常の実数体は、デデキントの切断を用いて定義される。
あるいは、ある同値類による、有理コーシー列全体の集合の商集合として定義される。