2019-12-22から1日間の記事一覧

今日の勉強 2019/12/22

日記

今日は, 超数学的自然数の演算 (加法, 乗法) の性質をまとめていました. 竹内外史先生の『証明論入門』で勉強したことがありますが, 自分のノートにもまとめておきたかったのです. この作業はしばらく続きます.