8月21日（日）補講のスライドは以下の通りです。 場所：文学部校舎２階・第４講義室 時間： 11:00〜12:30：形式的な算術の公理系 13:30〜15:00：2+2=4の形式的な証明 15:30〜17:00：足し算の数値的表現可能性くどいようですが、本補講は、出席してもしなくて…