H_qってあまり一般的な記号法でもないので
いきなりH_qですなんていっても何のことかわからないんだが、、

>>72
ええと、言語は固定するんだよね
公理となる論理式、、も固定するんだよね？

するなら独立命題Cが存在するような公理系をとってきて
AをC、Bを¬Cとすれば反例になるような気がするけど、、