質問

結城先生、質問失礼します。

最近、学校で数学的帰納法を習いましたが「数学的帰納法によって命題が証明できることの証明」のようなものはあるのでしょうか。

また、「証明できている」とはどういうことなのでしょうか。

回答

ご質問ありがとうございます。

これは、非常に、非常に、すばらしい質問です。

ごく簡単に説明してみます。