本来は、0だけでなく、形式化された算術の全ての記号（=,+,×など）も、本来の算数の記号と分けて書く必要があるのですが、スライド作成の都合上、同じ記号を使っています。ご注意下さい。

授業スライド こちらから 授業要約・宿題 こちらから

前回の復習 宿題の答え合わせ 形式化された算術

今回は、台風で中止になった前回の内容で行います。前々回までで、最小述語論理の話は終了です。これである程度数学を展開するための道具は揃いました。それでは、授業第十回目の今回、この枠組みの中で、簡単な算数の証明がどこまで書けるか試してみましょ…