《記号法変更のお知らせ》

どうやら「反証」を表現するのにProvableを用いるのは無理があるようなのだ・・。

それで、

いままで　Ｙ⇔￢Provable(￢Ｙ)，￢Ｙ⇔Provable(￢Ｙ)
　↓
これから　Ｙ⇔￢Antiprovable(Ｙ)，￢Ｙ⇔Antiprovable(Ｙ)

このように定義を「Ｙの関数」にしなければ￢Ｙ⇔Ｈ（ヘンキン文）ということになって“定理”を表す命題になってしまうらしい・・。