日: 2026年11月1日

証明の途中に誤りが見つかったとき、何が間違いと確定するのだろうか。数学の証明は、前提から結論までを正しい推論で接続することで成立する。その途中に成り立たない等式や、適用条件を満たしていない補題が含まれていれば、その推論に … 続きを読む