>>603
>>601のいう「形式的証明が存在する」に対抗して「実際に書き下されたものを指す」と言ったまで。
お前の妄想など知らん。