先週は大変申し訳ありませんでした。今週は授業をします！（試験期間中で申し訳ありません）…。 前回、最小算術の公理系を紹介し、これである程度数学を展開するための道具は揃いました。それでは、授業第十二回目の今回、この枠組みの中で、簡単な算数の証…

皆様大変申し訳ありませんが、会社の事情で、7/16は急遽休講とさせていただきます。補講は7/23（火）の同じ時間、同じ教室で行います。レポートを提出する場合は、ご持参ください。矢田部俊介

前回までで、最小述語論理の話は終了です。これである程度数学を展開するための道具は揃いました。それでは、授業第十一回目の今回、この枠組みの中で、簡単な算数の証明がどこまで書けるか試してみましょう！ その枠組みとして、形式化された算術（自然数と…