Wikipediaの"数学"のページ( http://ja.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6 )をなんとなく見てたら、 数学は、量、構造、変化、空間といったものを対象として、いくつかの仮定から始めて、決められた演繹的推論をすすめることで得られる事実(定理)のみからなる体系を研究する学問である。って、書いてあった。 あれ?そういえば、数学的帰納法とかいうのあったなぁ・・・と高校のころの記憶がよみがえった。 数学は、"演繹的推論をすすめることで得られる事実(定理)のみからなる体系を研究する学問"なら、数学的帰納法ってなんなの?という疑問が沸いた。 で、Wikipediaでいろいろ見てみた。 演繹 ( http://ja.wikipedia.org/wiki/%E6%BC%94%E7%B9%B9 ) 演繹法 は、一般的・普遍的な仮定からより個