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

宿題(p.34)は、二問のうち一問のみやってきて下さい。

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

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

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