2024.09.18
https://www.youtube.com/watch?v=dhiKCC7Ki44
前：
2024.09.17
後：
2024.09.19
#日報
メモ
数学基礎論サマースクール 2024
，全然行けばよかったな
やった
DJの練習した
全部忘れた
メモ
Solovayの算術的完全性定理
の形式化を埋めているが一番面倒なのが「
$ W
を自然数上のものとして良い」の部分で…
どうしたらいいんだろうこれ