なお、第六回で紹介した∀の導入ルールについて、今回少し変更します。詳細は、授業スライドをご覧ください。

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

前回の復習 注意（∀の導入ルールについて） 宿題の答え合わせ 自然数論 宿題について

平常授業：6/16 休講： 6/23, 6/30 平常授業：7/7, 7/14 補講： 7/21（？）*1 *1:未定です。

授業第八回目、実際の数学における論理の使い方の例として、自然数論についてご紹介します。