03/12/09 04:55
>>525-526
> 実数体の存在定理を証明するっていう意味だ。
> この立場からは、実数の連続の公理というのは証明すべき命題だ。
ふーん。そういう意味だったんだ。それなら誤解だね。ごめん。
でも、504の文からはそういう風にはまったく読めなかったんだ。
03/12/09 04:55
>>525-526
> 実数体の存在定理を証明するっていう意味だ。
> この立場からは、実数の連続の公理というのは証明すべき命題だ。
ふーん。そういう意味だったんだ。それなら誤解だね。ごめん。
でも、504の文からはそういう風にはまったく読めなかったんだ。