2024.10.24
https://gyazo.com/f5b28bb124dceeca37fa60cd27914b31
前：
2024.10.23
後：
2024.10.25
#日報
作った
https://scrapbox.io/files/671a379fbed1d4dbcb48b6b2.mp4
https://x.com/SnO2WMaN/status/1849414540221698354
https://x.com/viveisdead/status/1849397094735614225
viveisdead
メモ
Smullyan's Truth and Provability
https://arxiv.org/abs/2410.17895
読んでいますそして形式化しています