>中学の数学で、奇妙な証明を見ただろう?
>「1と0は等しい」みたいな。

1と0.99999…は等しいという証明ならよく聞くがそいつは聞いたことないな
というか1が0より大きいことは定義だからそれを証明すること自体ありえなくないか
数学の証明は定義から導かれる定理に対してするものだからな