自然数論での述語論理の無矛盾性の証明は
命題論理に置きかえれば簡単と言ってた>>733はどこ行った？
述語論理から命題論理に還元しても
真理述語（かそれっぽい述語）を作らなきゃいかん
っていう一番のポイントは何も変わっとらんじゃないか！