2024.06.04
https://gyazo.com/3b68d3bad9c122102990f6ae133e6799
前：
2024.06.03
後：
2024.06.05
#日報
メモ
ねむねむにゃんこに
思った
にゃるら
の批判者が過剰に攻撃的すぎて相対的にまあにゃるらの方が良いか…と思うことが増えた 実態はどうあれ
https://x.com/SnO2WMaN/status/1797616792770339207
にゃるら
についてツイートしたらめちゃくちゃいいね来たの皆にゃるら好きすぎだろとなってしまった
メモ
直観主義論理のタブローを用いた完全性定理
が示されつつある．
少なくとも
Lindenbaum補題
は証明された．