山の上のロジック学園　不完全性定理をめぐる２週間の授業日誌