実数における不等式と加法乗法の関係

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

不等式の性質

実数のあいだの不等式についてのノートをリニューアル（外観だけ）。

数理論理関連文献追加

論理と集合論のビブリオグラフィーを更新。

ロジックについての下記テキストを追加。

• 齋藤正彦『日本語から記号論理へ』
• 新井紀子『数学は言葉』
• 松井知己『だれでも証明がかける－眞理子先生の数学ブートキャンプ』
• 松本和夫『数理論理学』
• 野矢茂樹『入門！論理学』
• 飯田隆『論理の哲学』

実数体・実数の定義

実数体・実数の定義のノートを大幅にリニューアル。

外観のみならず、内容も加筆。

特に、「実数の連続性公理」と同値な命題。