■

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