数学的帰納法（もしくは、これと同等の公理）は、「任意の特定の正の整数について、必要ならいつでも具体的に推論を展開できる」という、理知の能力を肯定することにほかならない。（アンリ・ポアンカレ(1854-1912)）

数学的帰納法

【数学的帰納法（もしくは、これと同等の公理）は、「任意の特定の正の整数について、必要ならいつでも具体的に推論を展開できる」という、理知の能力を肯定することにほかならない。（アンリ・ポアンカレ(1854-1912)）】
　数学的帰納法について。「それではなぜこの判断が我々にとって争うことのできない自明なものとして服従を強制するのであろうか。それは一つの作用が一度可能だと認められさえすれば、その作用を際限なく繰り返して考えることができると信ずる理知の能力を肯定することにほかならないからである。理知はこの力については直接の直感を有していて、経験は理知にとっては直感を用い、従ってそれを意識する機会となるに過ぎない。」
（アンリ・ポアンカレ(1854-1912)『科学と仮説』第1章、6、p.35、河野伊三郎(訳)）
（索引：数学的帰納法、理知の能力）

科学と仮説 (岩波文庫)

（出典：wikipedia）

アンリ・ポアンカレ（1854-1912）
ポアンカレの関連書籍（amazon）
検索（ポアンカレ）

数学において「無限」の推論を支える公理は、経験により検証可能なものではない。そうかと言って、恣意的な規約とも思えず、自明なものとして服従を強制されているかのようである。（アンリ・ポアンカレ(1854-1912)）

無限とは何か？

【数学において「無限」の推論を支える公理は、経験により検証可能なものではない。そうかと言って、恣意的な規約とも思えず、自明なものとして服従を強制されているかのようである。（アンリ・ポアンカレ(1854-1912)）】
　数学の定理に「無限」がかかわってくるときに、数学的帰納法（もしくは、これと同等の、正の整数のどんな集合のうちにも、集合中のほかのどれよりも小さい一数がいつでも存在という公理。）が必要になる。この数学的帰納法による証明は、我々が実際に無限の推論を展開できるわけではないという意味で、経験から真であることが知られるわけではない。またそれが、無限にかかわる限り、争うことのできない自明なものとして服従を強制されているように思われることから、任意に採否が決められる「規約」とも思えない。
　「もしある定理が１なる数について真であって、この定理が n なる数につき真であるかぎり、 n + 1 なる数についても真であることを証明したならば、この定理は正の整数すべてについて真であるとする「出直し法」による推理の根拠となる判断は別の形に直すことができる。たとえば相異なる正の整数の無限集合のうちには、集合中のほかのどれよりも小さい一数がいつでも存在するといえる。一つの命題から別の命題に容易に移れるところをみると、出直し法による推理の正当なことを証明したという幻想を抱く人もあるかもしれない。しかしいつでも途中で障害にあう、いつでも証明し得ない公理に到達する。そうしてこれは根本においては、証明すべき命題を別の言葉に翻訳したものにほかならない。
　だから出直し法による推理の規則は矛盾律に引き直し得ないというその結論からまぬかれることはできない。
　そのうえこの規則は経験から来たのでもない。経験が我々に教え得るのは、ある規則が例えば十までの数についてとか、百までの数についてとか真であるということで、経験は際限のない数の系列に追いつくことはできない。できるのは、ただこの系列のうちの、長くても短くてもとにかく必ず限られた一部分に過ぎない。
　ところでそれだけの話だとすれば、矛盾律だけで十分である。これによると我々はいつでも欲しいだけの三段論法を展開することができる。ところがただ一つの公式に無限のものを含ませる場合、ただ無限に対する場合だけこの原理は効果を失い、またその場合には経験も同様に無効になる。分析的な証明によっても、経験によっても捕えられないこの規則は先天的総合判断の真の典型である。しかもこれを幾何学の要請のあるもののように、一つの規約と認めようとするわけにもいかない。」
（アンリ・ポアンカレ(1854-1912)『科学と仮説』第1章、6、pp.34-35、河野伊三郎(訳)）
（索引：公理、先天的総合判断、無限、数学的帰納法、出直し法）

科学と仮説 (岩波文庫)

（出典：wikipedia）

アンリ・ポアンカレ（1854-1912）
ポアンカレの関連書籍（amazon）
検索（ポアンカレ）