2024.08.01
https://gyazo.com/56870a3f05b323f4f4eb587dad581849
前：
2024.07.31
後：
2024.08.02
#日報
メモ
Solovay Sentencesの構成
思った
ようやく
証明可能性論理における難民のフォークロア
の意味がわかった