「記号変形ゲームだと思えば」の「だと思えば」です。
たまに「だと見做せる」と「である」を勘違いして、
実際にはHilbertは誤っていたのである、みたいな浅薄な論を展開する人も居るので……
>>772はそうではないと思いますけど。

…写し取られているはずだけど
「仮に形式論理によって写し取ることが可能だとしても」
それが…