2024.07.29
https://gyazo.com/d7a63bacd9392c3c638ffab182486f5e
メモ
あまりふざける部分ではないのだろうけどGitHubの呼び方の代名詞欄（"he/him", "they/them"の部分）に"∀/∃"と書いてあるアカウントがあってかっこいいと思った
メモ
正規様相論理でフレームクラスに真の包含関係があれば真に強くなると思っていたが全然そんなことはないことを教えてもらった 自明な反例がある．$ \bf Kは全ての有限フレームクラスと全てのフレームクラスで真の包含があるが証明能力は同値．