この知恵ノートでは、ブルバキ数学原論 多様体 要約 Chapter 1, 2 の補足ノートの紹介をします. (PDF) 微分多様体の基礎 1 〜フレシェ微分の基礎〜 大まかな構成として, 微分可能関数の議論を, 係数体 K が離散でない付値体の場合に一般化します. つまり, K …

今日の数学エッセーでは、以下の文献の中から、 選択公理から整列可能定理とツォルンの補題を導く際、 ZF のどれだけの公理が必要かを紹介します。 公理的集合論研究書 結論を言ってしまえば、等号述語論理の公理系に加え、 [1] 外延性の公理 [2] 対の公理 […