>>186
こっちも横レスだけど
証明は形式意味論のレイヤーで行われるけれど
形式仕様自体は現実世界の概念（「コトバ」）とリンクしている

「コトバ」であり「記号列」であることを理解できないと
形式仕様を理解したことにはならんだろう