無矛盾なら証明できない論理式がある、というのはわかるが、
逆も真なんだっけ?