> 数学屋のいう「厳密性」が「形式的に証明できていること」を指すなら
指しません

> 数学の証明は、形式的な証明になっているとは限らない
限らない、ではなく、そもそも違うもの

> 数学の証明は、必ず形式的な証明になる
これはただの感想、価値観の表現。数学者でも人によって
感じ方、価値観は異なる。こう感じてない方が多いと思う。

> 「形式的に証明できていること」が「数学として正しい
> こと」と考えている
考えてない