７６＝７９は、メタレベルが「厳密な数学」になりえないという思い込みがあるみたいだけど
その思い込みの「厳密な数学の証明」は不可能だってことに気づいた方がいいとおもわれ