>>32
何論法は分からないけど、wikiによると

＞数学的「帰納」法という名前がつけられているが、数学的帰納法を用いた証明は帰納ではなく、純粋に自然数の構造に依存した演繹論理の一種である。

だそうな。
三段論法ならぬ、可算無限論法とでも言えそうな…。