21/11/06 01:59:43.68 nFC14Trd.net
>ここのAをNとすれば、対応する”超限帰納法”としての数学的帰納法が導ける
それは数学的帰納法の証明という問題を超限帰納法の証明という問題にすり替えただけ。
数学的帰納法は超限帰納法とは独立に証明可能。：ある方法で自然数を構成し、それがペアノの公理を満たすことを証明する。
21/11/06 01:59:43.68 nFC14Trd.net
>ここのAをNとすれば、対応する”超限帰納法”としての数学的帰納法が導ける
それは数学的帰納法の証明という問題を超限帰納法の証明という問題にすり替えただけ。
数学的帰納法は超限帰納法とは独立に証明可能。：ある方法で自然数を構成し、それがペアノの公理を満たすことを証明する。