更新履歴。
実数の加法乗法をからめた性質についてのノートも更新。
実数における積の性質を更新。
実数における加法の性質を更新。
アルキメデスの原理のノートを更新。
実数体・実数の定義のノートを更新。
実数指数の累乗(べき)定義と指数法則のノートを更新。
有理数指数の累乗(べき)定義と指数法則のノートを更新。
整数指数の累乗(べき)定義と指数法則のノートを更新。
自然数指数の累乗(べき)定義と指数法則のノートを更新。
三角不等式の証明を更新。