抽象化で証明できる命題は増えないだろ

抽象化で証明できる命題は増えないだろ (52ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

22(1): 02/06(木)12:35 ID:I7ERx3/l(1/4) AAS
>>21
基底を持たないベクトル空間を机上の空論なしで具体的に構成してください。

23: 02/06(木)12:36 ID:I7ERx3/l(2/4) AAS
自明なものは無しで。

25(1): 02/06(木)12:41 ID:I7ERx3/l(3/4) AAS
>>24
選択公理がなければ全てのベクトル空間に基底が存在するとは言えないので。

27: 02/06(木)12:48 ID:I7ERx3/l(4/4) AAS
>>26
全てのベクトル空間に基底が存在することが机上の空論であることと、最早基底が存在しないベクトル空間について語ることをやめることに、何か違いはありますか？