17/06/08 21:15:19.40 6kq2k8YS.net
スレ主がペアノの公理云々と書くのは過去にもあったわけで
ｽﾚﾘﾝｸ(math板:91番)
> 数学的帰納法(ペアノの公理)を使うのならばanの数字を見てa(n+1)の数字を求められないと
> いけないわけだが√2の小数表示の全ての数字をそのような方法でスレ主は指定できるの？
それに対するスレ主の解答は
ｽﾚﾘﾝｸ(math板:94番)
> > 問題にしているのは上の無限数列の?にどうやって具体的な数字を入れるかということ
> 選択公理と選択関数で可能だろ？それ（”無限数列の?にどうやって具体的な数字を入れる”）を可能にするのが選択公理と選択関数で、 よく勉強してね
> > √2の小数表示の全ての数字をそのような方法でスレ主は指定できるの？
> できる！ そのための選択公理だよ。この場合、可算選択公理で可だろうが