皆様ご連絡が遅れ、大変申し訳ありません。 8月21日（日）に予定の補講の件ですが、詳細が決まりましたため、ご報告いたします。 場所：文学部校舎２階・第４講義室 時間： 11:00〜12:30：形式的な算術の公理系 13:30〜15:00：2+2=4の形式的な証明 15:30〜17…