2024.08.10
https://gyazo.com/6e5ed632ff7a0350fac6a9c994367e4f
報告
金銭を貰って証明を書いている
嬉しいことに、このプロジェクトについて株式会社Proxima Technology(@Proxima_ai_tech) から支援を頂けることになりました。今後とも開発を進めていきます。 memo
思った
吐きそう
思った
証明がすべてうまく行きそうもない
$ \bf Grzの同値類で割ったモデルでの完全性証明はうまく行きそうもない．
単純なことに気づかなかったが，部分論理式に閉じない．
$ \bf GLの補完全な集合を使ったモデルによる完全性
行けそうだが，記号が全部あるせいでありえないほど面倒