今日の勉強 2019/12/22

今日は, 超数学的自然数の演算 (加法, 乗法) の性質をまとめていました.

竹内外史先生の『証明論入門』で勉強したことがありますが, 

自分のノートにもまとめておきたかったのです. 

この作業はしばらく続きます.