2021-06-29から1日間の記事一覧

■

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