＞実際に書き下されなければ形式的証明を得たとは言えない
ああ、そういう主義の人でしたか…
ではモデル論的証明が云々は問題にもなりませんね、これは失礼しました。