>>798の内容は「Π1文に相当する論理式だって作れる」ことと何も矛盾しないと思うが
一体全体どう「全然違う」というのか?