休講：7/17 平常授業：7/24 後期授業：10/2〜

授業スライド こちらから 授業要約・宿題 こちらから今回の授業要旨は、説明が不足しているため、後期授業初回に改訂版を配布します。また今回の宿題の提出は必須ではありません（提出してくれれば成績面で考慮します）。なお、宿題の締切は10/2（後期授業第…

前回の復習 宿題の答え合わせ メタの数学的帰納法 足し算の表現定理 今後の予定

授業第十三回目の今回は、前回の続き（ステップ2）として、最小述語論理上の最小算術Qでどこまで計算に関する事実を証明できるかを、検討したいと思います。 具体的には、足し算の数値的表現可能性を、メタの数学的帰納法を使用して証明します。 「メタレベ…