実数の十進近似列・十進小数展開

実数の十進近似列・十進小数展開についてのノートを更新。

デデキントの切断

デデキントの連続性公理のノートを更新。

実数間の大小関係と加法乗法の関係

実数における不等式との加法乗法の関係についてのノートを更新。

実数の大小関係の性質

実数のあいだの不等式についてのノートを更新。

実数の加法乗法をからめた性質

実数の加法乗法をからめた性質についてのノートも更新。

実数の積

実数における積の性質を更新。