証明可能性論理
memo:
このプロジェクトでは
Provability
という単語を
証明可能性
ではなく
可証性
と訳しているため，
Provability Logic
の訳も
可証性論理
とした方が良いという気もする
が歴史的経緯でとりあえずこうしている．
2023.10.16
やっぱり
証明可能性
に戻しました．