2021-07-13から1日間の記事一覧
前回、最小算術 Q の断片(大小関係に関する公理を除去したもの)の公理系を紹介し、これである程度数学を展開するための道具は揃いました。それでは、授業第十一回目の今回、この枠組みの中で、簡単な算数の証明がどこまで書けるか試してみましょう! その…
前回、最小算術 Q の断片(大小関係に関する公理を除去したもの)の公理系を紹介し、これである程度数学を展開するための道具は揃いました。それでは、授業第十一回目の今回、この枠組みの中で、簡単な算数の証明がどこまで書けるか試してみましょう! その…