0593132人目の素数さん
2018/05/13(日) 15:03:11.82ID:E7bnfRCz自然数が0からなら{0, 1, 2 ... }
自然数が1からなら{1, 2, 3 ... }
みたいな感じで
{1, 0.5, 0.25 ... }だってペアノシステム(1, ÷2)の台集合な訳よ。
ここでこの台集合って、{x|2^-n(nは自然数)}と等しくなるよってしたいなら自然数は0から始まる事にしなくちゃならんよね。
だから0は自然数に属するって方がしっくりくると思う。
今までとは違うアプローチの仕方だけどどう思う?