2024.01.24
https://gyazo.com/f4bed62bce1923856dee30e2ccfaa4d7
やった
残りの補題は次となる.
$ \Gammaが$ \Lambda無矛盾とする.
1. $ \Gamma \vdash \varphiならば$ \Gamma,\lnot pは$ \Lambda無矛盾.
2. $ \Gamma,\varphiまたは$ \Gamma,\lnot\varphiのどちらかは$ \Lambda無矛盾.
演繹定理以外はそうムズい補題でも無いはずなのだが,なぜか証明できていない.
これは公理は$ \bf Kだけだが,$ \bf K\Lambdaに拡張しても多分上手く行くと信じている
が,もし成り立たなかったらクソ面倒なことが起きてシッチャカメッチャカになる
思った
終わったらとりあえず$ \bf GLの完全性定理を示そうかと思う.
メモ