ブログの有限記号列のくだり読んだけど
Cor.3.12が有限記号列で証明できないって話じゃないよね
もう少しマトモなイチャモン考えたら?