鉄柱曰く
１）数学屋のいう「厳密性」が「形式的に証明できていること」を指すなら
数学の証明は、形式的な証明になっているとは限らない点で厳密でない。
また「数学の証明は、必ず形式的な証明になる」という数学屋の
考えは何の根拠もない点で、まったく厳密性がない。
２）また「形式的に証明できていること」が「数学として正しいこと」と
考えているなら、それもまた間違っている。

つまり数学屋のいう厳密性は、全く達成されていない上に
そもそもその達成が本来の目的とは異なる点で、二重に
無意味である。