だから、仮に誰かが

＞「数学者によって証明されている定理」の
＞ほとんどは「形式的にも証明できる」だろう

と言ったとしても、これはその人の感想を述べただけね