既にたくさん>>748への批判が出ているから
重複になるかもしれないので恐縮だけど、748に質問：

＞真偽は論じる必要はない、ただ対応を書くだけ
自然数論の中で命題論理の無矛盾性を示すには、
「ｘがコードしている論理式は真」っていう論理式（真理述語っていうの？）を作って
この論理式を証明の長さ（高さ？）に関する帰納法で証明していくんだよね？
真理述語って思いっきり真偽を論じていると思うんだけど？
対応を書くってどういうこと？