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

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

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