2019-07-23から1日間の記事一覧
先週は大変申し訳ありませんでした。今週は授業をします!(試験期間中で申し訳ありません)…。 前回、最小算術の公理系を紹介し、これである程度数学を展開するための道具は揃いました。それでは、授業第十二回目の今回、この枠組みの中で、簡単な算数の証…
先週は大変申し訳ありませんでした。今週は授業をします!(試験期間中で申し訳ありません)…。 前回、最小算術の公理系を紹介し、これである程度数学を展開するための道具は揃いました。それでは、授業第十二回目の今回、この枠組みの中で、簡単な算数の証…