12/01/09 12:26:15.27
実数体 R は制限完備な順序体として定義すればいい。
そうすれば R の要素としての自然数 n は n・1 = 1 ＋．．．＋ 1 として定義出来る。
12/01/09 12:26:15.27
実数体 R は制限完備な順序体として定義すればいい。
そうすれば R の要素としての自然数 n は n・1 = 1 ＋．．．＋ 1 として定義出来る。
12/01/09 12:26:15.27
実数体 R は制限完備な順序体として定義すればいい。
そうすれば R の要素としての自然数 n は n・1 = 1 ＋．．．＋ 1 として定義出来る。