結城先生、質問失礼します。 最近学校で数学的帰納法を習ったのですが、「数学的帰納法によって命題が証明出来ることの証明」のようなものはあるのでしょうか？ また、「証明出来ている」とはどういう事なのでしょうか？

#結城浩に聞いてみよう ask.hyuki.net