河野真治 @ 琉球大学情報工学です。

In article <I1N6d.11987$NC6.6022@newsread1.mlpsca01.us.to.verio.net>, Sugawara <sugawara81@hotmail.com> writes
> ４．それとも、数学的帰納法はいかなる演繹的推論も使用しないで成立すると
> いうことでもいいたいのでしょうか。どのような推論の方法を使用するかと
> いう視点で見て。

普通、数学的帰納法は正しい推論として仮定します。それは無限集
合の性質を規定していると言っても良いね。どんな論理でも、そう
いう無条件の仮定は入っているよ。

---
Shinji KONO @ Information Engineering, University of the Ryukyus
河野真治 @ 琉球大学工学部情報工学科