６月２６日金曜日は黒門祭のため午後の授業は休講ですが，
１冊目のテキストも終わることですし，中間宴会をやります。
昼休みから準備スタートということで，みなさんよろしく。
それから，次のテキスト，ドアに貼った袋に入れておきました。
『ゲーデルは何を証明したか』の第7章です。
しっかりと論理を追わないと読めないから，頑張って読んでね。