2023.04.21
https://gyazo.com/0159a4b1313c02018298489f0dd174ea
前:
2023.04.20
後:
2023.04.22
#日報
書き途中
Tarskiの真理不可能性定理の証明のメモ
長い 多すぎる 煩雑すぎる