2025.11.01
https://gyazo.com/61d4a670150af4ce7a6b0e8b3bd44210
前：
2025.10.31
後：
2025.11.02
#日報
メモ
ZFC の無矛盾性を証明した．これで皆さんは集合論の矛盾可能性に怯える必要はない
https://x.com/_ni_nn_i_/status/1984509802496839681
$ \mathsf{Lean} \vdash \mathrm{Con}(\mathsf{ZFC})
やった
解釈可能性論理
のいろんな公理の導出可能性を構文論的にやっている
メモ
https://adventar.org/calendars/11438
定理証明支援系 Advent Calendar 2025
https://x.com/SnO2WMaN/status/1969404731547402564
これを書き上げる
2025.09.21
https://gyazo.com/8868f8df0aa7134ecbcf03a36dea1ef3