P \vdash \lnot\lnot Pのこと。

二重論理否定を導入するだけなら、直観論理でも可能である

#2021-11-18 16:14:45 タイトルのtypo

#2021-03-29 22:38:05