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

抽象化で証明できる命題は増えないだろ (52ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

24(1): 02/06(木)12:40 ID:GddeoWbS(1) AAS
>>22
それが存在するって前提はどこからきたん？
具体的構成なしに存在を信じてるん？

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